About: Is-a

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Is-a Goto Sponge NotDistinct Permalink

An Entity of Type : dbo:Person, within Data Space : el.dbpedia.org associated with source document(s)

In knowledge representation, object-oriented programming and design (see object-oriented program architecture), is-a (is_a or is a) is a subsumption relationship between abstractions (e.g. types, classes), wherein one class A is a subclass of another class B (and so B is a superclass of A).In other words, type A is a subtype of type B when A's specification implies B's specification. That is, any object (or class) that satisfies A's specification also satisfies B's specification, because B's specification is weaker. To summarize the relations, there are:

Attributes	Values
rdf:type	person
rdfs:label	Is-a (en)
rdfs:comment	In knowledge representation, object-oriented programming and design (see object-oriented program architecture), is-a (is_a or is a) is a subsumption relationship between abstractions (e.g. types, classes), wherein one class A is a subclass of another class B (and so B is a superclass of A).In other words, type A is a subtype of type B when A's specification implies B's specification. That is, any object (or class) that satisfies A's specification also satisfies B's specification, because B's specification is weaker. To summarize the relations, there are: (en)
sameAs	Is-a
dbp:wikiPageUsesTemplate	dbt:Code dbt:Essay-like dbt:Main dbt:Multiple_issues dbt:Reflist dbt:Technical dbt:Var dbt:Who
Subject	Abstraction Articles with example Java code Knowledge representation Object-oriented programming
gold:hypernym	Relationship
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Is-a?oldid=1058064313&ns=0
Wikipage page ID	294441 (xsd:integer)
page length (characters) of wiki page	10697 (xsd:nonNegativeInteger)
Wikipage revision ID	1058064313 (xsd:integer)
Link from a Wikipage to another Wikipage	Formal specification Ronald J. Brachman Superclass Abstraction Abstraction Articles with example Java code Generic programming Knowledge representation Object-oriented programming Meronymy and holonymy Object-oriented design Object-oriented programming Object composition Class Class (computer programming) Hyponymy and hypernymy Liskov substitution principle Computer program Container (abstract data type) Software architecture Has-a Inheritance (object-oriented programming) Instance (computer science) Interface (Java) Type Typeof Type–token distinction Subclass Subsumption Subtyping Knowledge representation and reasoning dbr:Wikt:subsume
has abstract	In knowledge representation, object-oriented programming and design (see object-oriented program architecture), is-a (is_a or is a) is a subsumption relationship between abstractions (e.g. types, classes), wherein one class A is a subclass of another class B (and so B is a superclass of A).In other words, type A is a subtype of type B when A's specification implies B's specification. That is, any object (or class) that satisfies A's specification also satisfies B's specification, because B's specification is weaker. The is-a relationship is to be contrasted with the has-a (has_a or has a) relationship between types (classes); confusing the relations has-a and is-a is a common error when designing a model (e.g., a computer program) of the real-world relationship between an object and its subordinate. The is-a relationship may also be contrasted with the instance-of relationship between objects (instances) and types (classes): see Type–token distinction. To summarize the relations, there are: * hyperonym–hyponym (supertype/superclass–subtype/subclass) relations between types (classes) defining a taxonomic hierarchy, where * for a subsumption relation: a hyponym (subtype, subclass) has a type-of (is-a) relationship with its hyperonym (supertype, superclass); * holonym–meronym (whole/entity/container–part/constituent/member) relations between types (classes) defining a possessive hierarchy, where * for an aggregation (i.e. without ownership) relation: * a holonym (whole) has a has-a relationship with its meronym (part), * for a composition (i.e. with ownership) relation: * a meronym (constituent) has a part-of relationship with its holonym (entity), * for a containment relation: * a meronym (member) has a member-of relationship with its holonym (container); * concept–object (type–token) relations between types (classes) and objects (instances), where * a token (object) has an instance-of relationship with its type (class). (en)
foaf:isPrimaryTopicOf	http://en.wikipedia.org/wiki/Is-a
is Wikipage redirect of	IS-A Is-A Isa (computer science) Is A Is a Subsumption relation
is Link from a Wikipage to another Wikipage of	Frame (artificial intelligence) 1971 in spaceflight 1980 in spaceflight Abstraction Automatic taxonomy construction Genus–differentia definition GermaNet Meronymy and holonymy Metaclass (Semantic Web) Object-oriented programming Object composition Circle–ellipse problem Class (computer programming) Class (knowledge representation) Hyponymy and hypernymy List of Kosmos satellites (1251–1500) List of Kosmos satellites (1–250) Composition over inheritance Hierarchy Enhanced entity–relationship model Entity–relationship model IS-A Has-a Inheritance (object-oriented programming) Is-A Isa Isa (computer science) Kosmos 521 Knowledge-based systems Knowledge representation and reasoning Is A Is a
is foaf:primaryTopic of	http://en.wikipedia.org/wiki/Is-a

Faceted Search & Find service v1.17_git151 as of Feb 20 2025

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Nov 11 2024, on Linux (x86_64-ubuntu_focal-linux-gnu), Single-Server Edition (72 GB total memory, 902 MB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software