ABoxUsed to describe statements in ontologies; an assertion; a fact that is associated with a terminological vocabulary within a knowledge base; A-Box…
anonymous classAn unnamed class. When restrictions are used to describe classes, they actually specify anonymous superclasses of the class being described.
asserted hierarchyThe 'manually constructed' class hierarchy in an ontology; as opposed to the inferred hierarchy that is generated by a reasoner.