Inconsistency-Tolerant Semantics for Description Logic Ontologies (Extended Abstract).
Domenico LemboMaurizio LenzeriniRiccardo RosatiMarco RuzziDomenico Fabio SavoPublished in: SEBD (2011)
Keyphrases
- extended abstract
- description logics
- reasoning services
- owl dl
- owl ontologies
- ontology languages
- dl programs
- dl lite
- model theoretic
- description logic programs
- semantic web ontologies
- description logic knowledge base
- reasoning tasks
- web ontology language
- reasoning mechanism
- semantic mapping
- semantic web
- snomed ct
- knowledge base
- knowledge representation
- concept descriptions
- formal semantics
- formal ontologies
- computational properties
- ontology reasoning
- domain ontology
- reasoning problems
- computing least common subsumers
- ontology mappings
- daml oil
- operational semantics
- classical logic
- logic programming