Revising Description Logic Terminologies to Handle Exceptions: a First Step.
Roberto MicalizioGianluca PozzatoPublished in: CILC (2014)
Keyphrases
- description logics
- snomed ct
- concept descriptions
- knowledge base
- knowledge representation
- computational properties
- reasoning tasks
- dl lite
- computing least common subsumers
- reasoning problems
- semantic web
- ontology languages
- probabilistic reasoning
- logical implication
- reasoning systems
- belief revision
- owl ontologies
- number restrictions