2490 search results - page 140 / 498 » Complexity of Contextual Reasoning |
147
Voted
CSL
2006
Springer
15 years 4 months ago
2006
Springer
Model-checking problems for PDL (propositional dynamic logic) and its extension PDL (which includes the intersection operator on programs) over various classes of infinite state sy...
138
Voted
RR
2010
Springer
15 years 3 months ago
2010
Springer
Based on practical observations on rule-based inference on RDF data, we study the problem of redundancy elimination on RDF graphs in the presence of rules (in the form of Datalog r...
128
Voted
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present a novel approach to representing uncertain information in ontologies based on design patterns. We provide a brief description of our approach, present its use ...
123
click to vote
ESWS
2005
Springer
15 years 10 months ago
2005
Springer
The Resource Description Framework (RDF) is a metadata model and language recommended by the W3C. This paper presents a framework to incorporate temporal reasoning into RDF, yieldi...
119
click to vote
KR
2004
Springer
15 years 10 months ago
2004
Springer
Modeling complex compositional objects in the field of the life sciences requires to solve intricate ontological problems, especially those related to parts of a whole, space and...