Intuitionistic Description Logic and Legal Reasoning.
Edward Hermann HaeuslerValeria de PaivaAlexandre RademakerPublished in: DEXA Workshops (2011)
Keyphrases
- description logics
- legal reasoning
- case based reasoning
- linear logic
- knowledge base
- inference rules
- theorem prover
- knowledge representation
- fuzzy set theory
- dl lite
- reasoning tasks
- reasoning problems
- natural deduction
- computing least common subsumers
- defeasible logic
- knowledge representation and reasoning
- computational properties
- classical logic
- semantic web
- concept descriptions
- reasoning systems
- logical framework
- artificial intelligence
- ontology languages
- computational complexity
- bayesian networks