2694 search results - page 233 / 539 » A Description Logic of Change |
151
click to vote
AAAI
2008
15 years 9 months ago
2008
In this paper, we present a normal form for concept expressions in the description logic ALC which is based on a recently introduced notion of prime implicate for the modal logic ...
172
click to vote
LISA
2004
15 years 8 months ago
2004
A tool is described that provides for the automatic configuration of systems from a single description. The tool, newfig, uses two simple concepts to provide its functionality: bo...
241
click to vote
DLOG
2011
14 years 10 months ago
2011
W3C currently extends the SPARQL query language with so-called entailment regimes, which define how queries are evaluated using logical entailment relations. We describe a sound a...
193
click to vote
IPMI
2001
Springer
16 years 7 months ago
2001
Springer
Abstract. Analysis of shape variability is important for diagnostic classification and understanding of biological processes. We present a novel shape analysis approach based on a ...
182
click to vote
LPAR
2004
Springer
16 years 3 hour ago
2004
Springer
We propose a new parameter for the complexity of finite directed graphs which measures to what extent the cycles of the graph are intertwined. This measure, called entanglement, i...