Tbox
Encyclopedia
In Computer Science
, a TBox is a "terminological component"—a conceptualization associated with a set of facts, known as an ABox
.
The terms ABox and TBox are used to describe two different types of statements in ontologies. TBox statements describe a conceptualization, a set of concepts and properties for these concepts. ABox are TBox-compliant statements about individuals belonging to those concepts. For instance, a specific tree is an individual for the concept of "Tree", while it can be stated that trees as a concept are material beings that have to be positioned on some location it is possible to state the specific location that a tree takes at some specific time.
Together ABox and TBox statements make up a knowledge base. A TBox is a set of definitions and specializations.
Computer science
Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...
, a TBox is a "terminological component"—a conceptualization associated with a set of facts, known as an ABox
Abox
In Computer Science, an ABox is an "assertion component"—a fact associated with a terminological vocabulary within a knowledge base.The terms ABox and TBox are used to describe two different types of statements in ontologies. TBox statements describe a system in terms of controlled vocabularies,...
.
The terms ABox and TBox are used to describe two different types of statements in ontologies. TBox statements describe a conceptualization, a set of concepts and properties for these concepts. ABox are TBox-compliant statements about individuals belonging to those concepts. For instance, a specific tree is an individual for the concept of "Tree", while it can be stated that trees as a concept are material beings that have to be positioned on some location it is possible to state the specific location that a tree takes at some specific time.
Together ABox and TBox statements make up a knowledge base. A TBox is a set of definitions and specializations.
- A definition is an equality with an atomic concept on the left hand, for example: a bachelor is a student who is undergraduate.
- A specialization is an inclusion with an atomic concept on the left hand, for example: the set of students is a subset of the people who are studying.
See also
- ABoxAboxIn Computer Science, an ABox is an "assertion component"—a fact associated with a terminological vocabulary within a knowledge base.The terms ABox and TBox are used to describe two different types of statements in ontologies. TBox statements describe a system in terms of controlled vocabularies,...
- Description Logic Modeling
- metadataMetadataThe term metadata is an ambiguous term which is used for two fundamentally different concepts . Although the expression "data about data" is often used, it does not apply to both in the same way. Structural metadata, the design and specification of data structures, cannot be about data, because at...
- Web Ontology LanguageWeb Ontology LanguageThe Web Ontology Language is a family of knowledge representation languages for authoring ontologies.The languages are characterised by formal semantics and RDF/XML-based serializations for the Semantic Web...