A Note on a Description Logic of Concept and Role Typicality for Defeasible Reasoning Over Ontologies.
Ivan VarzinczakPublished in: Logica Universalis (2018)
Keyphrases
- description logics
- number restrictions
- defeasible reasoning
- dl lite
- formal ontologies
- concept descriptions
- semantic mapping
- ontology languages
- semantic web
- knowledge base
- knowledge representation
- reasoning services
- snomed ct
- owl dl
- ontology reasoning
- dl programs
- owl ontologies
- defeasible logic
- reasoning tasks
- knowledge representation and reasoning
- legal reasoning
- formal semantics
- biomedical ontologies
- semantic web ontologies
- web ontology language
- conditional logic
- ontology mappings
- nonmonotonic reasoning
- query answering
- transitive closure of roles
- reasoning systems
- medical terminology
- description logic programs
- computational complexity
- artificial intelligence
- machine learning