Sciweavers

2414 search results - page 94 / 483
» Reasoning Support for OWL-E
Sort
View
DLOG
2004
13 years 11 months ago
OntoXpl: Exploration of OWL Ontologies
This paper describes the OWL ontology explorer OntoXpl. It is available as a web server based on the tomcat architecture. Standard HTML browsers can be used to interact with OntoX...
Volker Haarslev, Ying Lu 0003, Nematollaah Shiri
DLOG
2008
14 years 11 days ago
Classifying Fuzzy Subsumption in Fuzzy-EL+
Abstract. Fuzzy Description Logics (f-DLs) have been proposed as extensions of classical Description Logics able to handle imprecise and vague knowledge. Although several extension...
Giorgos Stoilos, Giorgos B. Stamou, Jeff Z. Pan
AAAI
1990
13 years 11 months ago
Introducing the Tileworld: Experimentally Evaluating Agent Architectures
We describe a system called Tileworld, which consists of a simulated robot agent and a simulated environment which is both dynamic and unpredictable. Both the agent and the enviro...
Martha E. Pollack, Marc Ringuette
ECSQARU
2009
Springer
14 years 1 months ago
Different Representations of Fuzzy Vectors
Fuzzy vectors were introduced as a description of imprecise quantities whose uncertainty originates from vagueness, not from a probabilistic model. Support functions are a classica...
Jiuzhen Liang, Mirko Navara, Thomas Vetterlein
SEMWEB
2009
Springer
14 years 4 months ago
A Conformance Test Suite for the OWL 2 RL/RDF Rules Language and the OWL 2 RDF-Based Semantics
We present the first version of a comprehensive conformance test suite for reasoners implementing the OWL 2 RL/RDF rules language and compliant super languages, up to the scale of...
Michael Schneider, Kai Mainzer