3690 search results - page 62 / 738 » The Semantic Web Revisited |
DALT
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. In this paper we revisit Logic Programming under the answer-set semantics - or Answer-Set Programming - and its extension Evolving Logic Programming, two languages that u...
EDBTW
2006
Springer
14 years 1 months ago
2006
Springer
ORM (Object-Role Modeling) is a rich and well-known conceptual modeling method. As ORM has a formal semantics, reasoning tasks such as satisfiability checking of an ORM schema natu...
AMW
2010
13 years 11 months ago
2010
Abstract. Consistent query answering (CQA) is about formally characterizing and computing semantically correct answers to queries posed to a database that may fail to satisfy certa...
CORR
2007
Springer
13 years 10 months ago
2007
Springer
Machines for Dialogue Games P.-L. Curien (CNRS - Paris 7) H. Herbelin (INRIA-Futurs) July 16, 2005 The notion of abstract B¨ohm tree has arisen as an operationally-oriented disti...
SAMT
2007
Springer
14 years 4 months ago
2007
Springer
—The vision of the Semantic Web is to lift the current Web into semantic repositories where heterogeneous data can be queried and different services can be mashed up. Ontology or...