Augmenting Subsumption Propagation in Distributed Description Logics.
Martin HomolaLuciano SerafiniPublished in: Appl. Artif. Intell. (2010)
Keyphrases
- description logics
- knowledge base
- reasoning tasks
- knowledge representation
- concept descriptions
- semantic web
- reasoning problems
- model theoretic
- reasoning systems
- knowledge representation and reasoning
- knowledge representation formalisms
- ontology reasoning
- computational properties
- computing least common subsumers
- owl ontologies
- ontology languages
- expressive power
- artificial intelligence
- integrity constraints
- dl lite
- data model
- number restrictions
- description logic alc