267 search results - page 5 / 54 » OWL and Qualitative Reasoning Models |
ITS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...
JACIII
2007
13 years 7 months ago
2007
SEMWEB
2004
Springer
14 years 1 months ago
2004
Springer
OntoTrack is a new browsing and editing “in-one-view” ontology authoring tool that combines a hierarchical graphical layout and instant reasoning feedback for (the most rationa...
RR
2007
Springer
14 years 1 months ago
2007
Springer
Geo-ontologies have a key role to play in the development of the geospatial-semantic web, with regard to facilitating the search for geographical information and resources. They no...
SEMWEB
2009
Springer
14 years 8 days ago
2009
Springer
Abstract—For many tasks, such as the integration of knowledge bases in the semantic web, one must not only handle the knowledge itself, but also characterizations of this knowled...