Enabling Reasoning with LegalRuleML.
Ho-Pun LamMustafa HashmiBrendan ScofieldPublished in: RuleML (2016)
Keyphrases
- knowledge base
- reasoning process
- meta level
- reasoning tasks
- fuzzy description logics
- reasoning problems
- knowledge representation
- proof theory
- machine learning
- description logics
- probabilistic reasoning
- qualitative reasoning
- automated reasoning
- knowledge processing
- conflicting information
- model based reasoning
- real time
- formal models
- approximate reasoning
- reasoning systems
- website
- real world
- neural network
- databases