Consistency Checking for Extended Description Logics.
Olivier CouchariereMarie-Jeanne LesotBernadette Bouchon-MeunierPublished in: Description Logics (2008)
Keyphrases
- description logics
- consistency checking
- fuzzy description logics
- dl lite
- query answering
- knowledge base
- reasoning tasks
- temporal reasoning
- temporal constraints
- knowledge representation
- computational properties
- reasoning problems
- ontology based data access
- ontology languages
- concept descriptions
- computing least common subsumers
- machine learning
- knowledge representation languages
- terminological knowledge
- temporal information
- data exchange
- constraint satisfaction problems
- path consistency
- inductive learning
- conjunctive queries
- reasoning services
- number restrictions
- data model
- artificial intelligence