Optimising Propositional Modal Satisfiability for Description Logic Subsumption.
Ian HorrocksPeter F. Patel-SchneiderPublished in: AISC (1998)
Keyphrases
- description logic alc
- description logics
- refinement operators
- modal logic
- model theoretic
- propositional logic
- knowledge representation
- first order logic
- knowledge base
- default logic
- reasoning tasks
- reasoning problems
- autoepistemic logic
- terminological reasoning
- computational properties
- satisfiability testing
- dl lite
- semantic web
- computing least common subsumers
- snomed ct
- ontology reasoning
- reasoning services
- normal form
- logical implication
- concept descriptions
- background knowledge
- knowledge compilation
- inductive learning