Concept Type Hierarchy
- (Corbett, 2008) ⇒ Dan R. Corbett. (2008). “Graph-based Representation and Reasoning for Ontologies.” In: Studies in Computational Intelligence, Springer. [http://dx.doi.org/10.1007/978-3-540-78293-3 10.1007/978-3-540-78293-3 doi:[http://dx.doi.org/10.1007/978-3-540-78293-3 10.1007/978-3-540-78293-3)
- QUOTE: … Description Logics are useful and efficient at categorizing objects and creating a hierarchy of types. They can classify new concepts and specify constraints on the type hierarchy. But is this enough?
- QUOTE: Using Conceptual Graphs to represent the underlying ontology, we have demonstrated a method for automated reasoning on ontologies. Type hierarchies and the canonical formation rules efficiently specialize graphs into concrete instances. A simple unification operation, using join and type subsumption, is used to perform knowledge conjunction of the concepts represented as graphs. The significance of our work is that the previously static knowledge representation of ontology is now a dynamic, functional reasoning system.