-Ary Existential Quantifier in Description Logics.
Franz BaaderEldar KarabaevCarsten LutzManfred TheißenPublished in: KI (2005)
Keyphrases
- description logics
- computing least common subsumers
- dl lite
- ontology based data access
- query answering
- reasoning tasks
- knowledge representation
- knowledge base
- computational properties
- reasoning systems
- knowledge representation and reasoning
- ontology languages
- fuzzy description logics
- knowledge representation formalisms
- database
- knowledge representation systems
- data warehouse
- web services
- reasoning services
- highly expressive
- concept descriptions
- data exchange
- model theoretic
- first order logic
- data complexity
- expressive power