Planning in Description Logics: Deduction versus Satisfiability Testing.
Liviu BadeaPublished in: ECAI (1998)
Keyphrases
- description logics
- satisfiability testing
- knowledge base
- propositional logic
- reasoning tasks
- dl lite
- knowledge representation
- mathcal shiq
- semantic web
- concept descriptions
- model theoretic
- reasoning systems
- knowledge representation and reasoning
- ontology languages
- fuzzy description logics
- computational properties
- reasoning problems
- inference rules
- knowledge representation formalisms
- reasoning services
- planning problems
- owl dl
- number restrictions
- inductive learning
- computing least common subsumers
- terminological knowledge
- owl ontologies
- theorem proving
- theorem prover
- knowledge representation languages