Sciweavers

2414 search results - page 8 / 483
» Reasoning Support for OWL-E
Sort
View
COOPIS
2002
IEEE
14 years 2 months ago
Extending Datatype Support in Web Ontology Reasoning
The Semantic Web is a vision of the next generation Web, in which semantic markup will make Web resources more accessible to automatic processes. Description Logics (DLs) are of cr...
Jeff Z. Pan, Ian Horrocks
AVI
2006
13 years 11 months ago
Methods for the evaluation of an interactive InfoVis tool supporting exploratory reasoning processes
Developing Information Visualization (InfoVis) techniques for complex knowledge domains makes it necessary to apply alternative methods of evaluation. In the evaluation of Gravi++...
Markus Rester, Margit Pohl
DIAGRAMS
2008
Springer
13 years 11 months ago
Supporting Reasoning and Problem-Solving in Mathematical Generalisation with Dependency Graphs
Abstract. We present a brief description of the design of a diagrambased system that supports the development of thinking about mathematical generalisation. Within the software, th...
Sergio Gutiérrez Santos, Darren Pearce, Eir...
COOPIS
1998
IEEE
14 years 2 months ago
Information Integration: Conceptual Modeling and Reasoning Support
Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...