52 search results - page 11 / 11 » A JC3IEDM OWL-DL Ontology |
ESWS
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. Ontologies are now used within an increasing number of realworld applications. So far, significant effort has been spend in building tools to support users in creating,...
TABLEAUX
2005
Springer
14 years 4 months ago
2005
Springer
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...