267 search results - page 2 / 54 » OWL and Qualitative Reasoning Models |
ISPA
2005
Springer
13 years 10 months ago
2005
Springer
The wide scale usage of OWL for the formalization of real-world ontologies is currently influenced by important limitations which concern both its expressivity and the efficiency ...
AIED
2005
Springer
13 years 10 months ago
2005
Springer
Making inferences is crucial for understanding the world. The school may develop such skills but there are few formal opportunities for that. This paper describes an experiment de...
DLOG
2009
13 years 3 months ago
2009
I will provide an overview of many of the use cases that we looked at to apply OWL ABox reasoning in the real world. The fields we covered included (a) healthcare, and life science...
OWLED
2008
13 years 6 months ago
2008
Abstract. HermiT is a new OWL reasoner based on a novel "hypertableau" calculus. The new calculus addresses performance problems due to nondeterminism and model size--the...
AIL
2008
13 years 5 months ago
2008
In this paper, we present an ontology in OWL for Legal Case-based Reasoning. We outline some of the main motivations for providing an ontology in OWL, then discuss Legal Case-base...