Searching for "The Consistent Concept Axiom." – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Model-based Revision Operators for Terminologies in Description Logics
- … level of the ontology. A TBox T consists of concept axioms and role axioms (RBox). Concept axioms (or…
- Add To MetaCart
-
An Argument-Based Approach to Using Multiple
- … that eat only plants), and role descriptions. A DL ontology O can consist of concept axioms…
- Add To MetaCart
-
A Kernel Revision Operator for Terminologies
- …-based terminological ontologies: An ontology T consists of concept axioms and role axioms (TBox). Concept axioms have…
- Add To MetaCart
-
Contents
- … to TBox consistency. The concept axioms in T can be reduced to a single axiom ⊤ ⊑ CT such that CT…
- Add To MetaCart
-
Towards a Knowledge-based Approach to Semantic Service Composition
- …-specific knowledge contained in the knowledge bases. These knowledge bases consist of concepts, axioms and rules…
- Add To MetaCart
Showing 1 through 5.
