An Empirical Investigation of Difficulty of Subsets of Description Logic Ontologies.
Nicolas MatentzogluBijan ParsiaUli SattlerPublished in: Description Logics (2014)
Keyphrases
- description logics
- dl lite
- snomed ct
- ontology languages
- reasoning services
- semantic web
- ontology reasoning
- knowledge base
- knowledge representation
- formal ontologies
- owl dl
- semantic web ontologies
- dl programs
- concept descriptions
- semantic mapping
- owl ontologies
- ontology mappings
- reasoning mechanism
- medical terminology
- biomedical ontologies
- computational properties
- web ontology language
- reasoning tasks
- reasoning systems
- daml oil
- artificial intelligence
- semantic web technologies
- computational complexity
- reasoning problems
- semantic modeling
- query answering
- domain ontology
- description logic programs
- refinement operators
- query rewriting
- conceptual models
- automated reasoning
- semantic relations
- expert systems
- machine learning
- computing least common subsumers