Expressiveness of Concept Expressions in First-Order Description Logics.
Natasha KurtoninaMaarten de RijkePublished in: Artif. Intell. (1999)
Keyphrases
- description logics
- function free horn
- computational properties
- concept descriptions
- number restrictions
- model theoretic
- knowledge base
- dl lite
- transitive closure of roles
- expressive power
- reasoning tasks
- knowledge representation
- formal ontologies
- knowledge representation and reasoning
- reasoning problems
- first order logic
- terminological reasoning
- semantic web
- highly expressive
- computing least common subsumers
- ontology languages
- knowledge representation formalisms
- query language
- decision procedures
- propositional logic
- integrity constraints
- query processing
- expert systems
- natural language
- database systems