Adding ABoxes to a Description Logic with Uniqueness Constraints via Path Agreements.
Vitaliy L. KhizderDavid TomanGrant E. WeddellPublished in: Description Logics (2007)
Keyphrases
- description logics
- dl lite
- knowledge base
- reasoning systems
- knowledge representation
- reasoning tasks
- computational properties
- expressive description logics
- exptime complete
- ontology languages
- snomed ct
- machine learning
- reasoning problems
- owl ontologies
- model theoretic
- reasoning services
- semantic web
- query answering
- incomplete information
- data types
- query optimization
- databases