Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey.
Elena BotoevaBoris KonevCarsten LutzVladislav RyzhikovFrank WolterMichael ZakharyaschevPublished in: Reasoning Web (2016)
Keyphrases
- description logics
- dl lite
- ontology languages
- semantic web
- knowledge representation formalisms
- reasoning services
- knowledge base
- ontology reasoning
- owl dl
- formal ontologies
- model theoretic
- snomed ct
- dl programs
- concept descriptions
- owl ontologies
- semantic mapping
- knowledge representation
- semantic web ontologies
- ontology mappings
- reasoning mechanism
- reasoning tasks
- web ontology language
- biomedical ontologies
- medical terminology
- reasoning problems
- computational properties
- daml oil
- semantic modeling
- description logic programs
- semantic heterogeneity
- ontology matching
- semantic web technologies
- ontology mapping
- np complete
- computing least common subsumers