Sciweavers

1669 search results - page 266 / 334
» Structured Specification of Model Interpreters
Sort
View
OWLED
2008
15 years 1 months ago
OWLlink: DIG for OWL 2
The OWLlink interface provides an implementation-neutral mechanism for accessing OWL reasoner functionality. In contrast to its DL-oriented predecessor DIG, OWLlink relies on OWL 2...
Thorsten Liebig, Marko Luther, Olaf Noppens, Maria...
AAAI
2006
15 years 1 months ago
Inexact Matching of Ontology Graphs Using Expectation-Maximization
We present a new method for mapping ontology schemas that address similar domains. The problem of ontology mapping is crucial since we are witnessing a decentralized development a...
Prashant Doshi, Christopher Thomas
CORR
2008
Springer
110views Education» more  CORR 2008»
14 years 12 months ago
Justifications for Logic Programs under Answer Set Semantics
The paper introduces the notion of off-line justification for Answer Set Programming (ASP). Justifications provide a graph-based explanation of the truth value of an atom w.r.t. a ...
Enrico Pontelli, Tran Cao Son, Omar El-Khatib
JIS
2006
103views more  JIS 2006»
14 years 11 months ago
Usage patterns of collaborative tagging systems
Collaborative tagging describes the process by which many users add metadata in the form of keywords to shared content. Recently, collaborative tagging has grown in popularity on ...
Scott A. Golder, Bernardo A. Huberman
CONNECTION
2004
83views more  CONNECTION 2004»
14 years 11 months ago
Toward open-ended evolutionary robotics: evolving elementary robotic units able to self-assemble and self-reproduce
In this paper we discuss the limitations of current evolutionary robotics models and we propose a new framework that might solve some of these problems and lead to an open-ended e...
Raffaele Bianco, Stefano Nolfi