Sciweavers

11 search results - page 3 / 3
» The LKIF Core Ontology of Basic Legal Concepts
Sort
View
TABLEAUX
2005
Springer
13 years 11 months ago
A Tableau-Based Explainer for DL Subsumption
This paper describes the implementation of a tableau-based reasoning component which is capable of providing quasi natural language explanations for subsumptions within ALEHFR+ TBo...
Thorsten Liebig, Michael Halfmann