Towards Defeasible Mappings for Tractable Description Logics.
Kunal SenguptaPascal HitzlerPublished in: ISWC (1) (2015)
Keyphrases
- description logics
- semantic mapping
- tableau calculus
- ontology mappings
- knowledge base
- defeasible logic
- reasoning tasks
- knowledge representation
- default logic
- computational properties
- knowledge representation and reasoning
- knowledge representation formalisms
- reasoning systems
- dl lite
- np hard
- semantic web
- np complete
- concept descriptions
- computing least common subsumers
- reasoning problems
- reasoning services
- ontology languages
- legal reasoning
- dl programs
- inductive learning
- data sources
- computational complexity