3244 search results - page 439 / 649 » Extensions to Description Logics |
149
click to vote
ICDE
2006
IEEE
16 years 20 days ago
2006
IEEE
XPORT (eXtensible Profile-driven Overlay Routing Trees) is a generic data dissemination system that supports an extensible set of data types and profiles, and an optimization fr...
157
click to vote
GC
2004
Springer
16 years 11 hour ago
2004
Springer
In this paper an extension of a behavioural subset of UML statecharts for mobile computations is proposed. We study collections of UML objects whose behaviour is given by statechar...
186
click to vote
JAIR
2008
15 years 6 months ago
2008
Ontologies and automated reasoning are the building blocks of the Semantic Web initiative. Derivation rules can be included in an ontology to define derived concepts based on base...
198
click to vote
LOGCOM
2010
15 years 5 months ago
2010
In this paper, we propose an extension of Answer Set Programming (ASP) to support declarative reasoning on consumption and production of resources. We call the proposed extension ...
152
click to vote
LPAR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We study the complexity of model expansion (MX), which is the problem of expanding a given finite structure with additional relations to produce a finite model of a giv...