Tableau extensions for reasoning with link keys.
Maroua GmatiManuel AtenciaJérôme EuzenatPublished in: OM@ISWC (2016)
Keyphrases
- description logics
- proof procedure
- knowledge representation
- knowledge representation formalisms
- truth maintenance systems
- knowledge base
- reasoning systems
- reasoning tasks
- databases
- automated theorem proving
- reasoning problems
- legal reasoning
- reasoning process
- efficient implementation
- artificial intelligence
- data sets
- meta level
- default logic
- formal models
- machine learning
- reasoning mechanisms
- neural network
- deductive reasoning