Decidability of a Description Logic over Infinite-Valued Product Logic.
Marco CeramiFrancesc EstevaFélix BouPublished in: KR (2010)
Keyphrases
- description logics
- computational properties
- knowledge representation formalisms
- model theoretic
- knowledge base
- logical implication
- multi valued
- knowledge representation
- formal logic
- semantic web
- logic programming
- reasoning tasks
- knowledge representation and reasoning
- modal operators
- modal logic
- exptime complete
- reasoning problems
- owl dl
- dl lite
- ontology languages
- classical logic
- tableau calculus
- knowledge representation languages
- conjunctive query answering
- computing least common subsumers
- relational databases
- artificial intelligence
- query answering
- snomed ct
- medical terminology