Reasoning in the Defeasible Description Logic εℒ - computing standard inferences under rational and relevant semantics.
Maximilian PenselAnni-Yasmin TurhanPublished in: Int. J. Approx. Reason. (2018)
Keyphrases
- description logics
- reasoning tasks
- reasoning services
- reasoning mechanism
- computational properties
- owl dl
- reasoning problems
- reasoning systems
- model theoretic
- knowledge representation and reasoning
- knowledge representation formalisms
- knowledge base
- fuzzy description logics
- semantic web ontologies
- tableau calculus
- knowledge representation
- computing least common subsumers
- highly expressive
- description logic programs
- logic programming
- knowledge representation languages
- web ontology language
- dl lite
- defeasible logic
- default logic
- owl ontologies
- number restrictions
- ontology reasoning
- semantic web
- automated reasoning
- semantic mapping
- ontology languages
- default rules
- logical implication
- reasoning process
- default reasoning
- expert systems
- commonsense reasoning
- modal operators
- legal reasoning
- conceptual graphs
- nonmonotonic reasoning
- answer set programming
- situation calculus
- snomed ct
- integrity constraints
- logic programs
- data model