A Lightweight Defeasible Description Logic in Depth.
Maximilian PenselPublished in: Künstliche Intell. (2020)
Keyphrases
- lightweight
- description logics
- tableau calculus
- knowledge base
- dl lite
- defeasible logic
- knowledge representation and reasoning
- knowledge representation
- computational properties
- reasoning tasks
- computing least common subsumers
- concept descriptions
- reasoning systems
- model theoretic
- reasoning services
- ontology languages
- reasoning problems
- logical implication
- snomed ct
- owl ontologies
- machine learning
- semantic mapping
- wireless sensor networks