P-CLASSIC: A Tractable Probablistic Description Logic.
Daphne KollerAlon Y. LevyAvi PfefferPublished in: AAAI/IAAI (1997)
Keyphrases
- description logics
- knowledge base
- reasoning tasks
- knowledge representation
- np complete
- dl lite
- computational properties
- reasoning problems
- np hard
- reasoning systems
- computing least common subsumers
- ontology languages
- computational complexity
- semantic web
- concept descriptions
- reasoning mechanism
- logical implication
- number restrictions
- reasoning services
- ontology reasoning
- database systems