1285 search results - page 103 / 257 » Description Logic Reasoner: System Description |
143
Voted
ENC
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper describes SKIMA, a mediation system that gives transparent access to heterogeneous and distributed sources considering their semantics and the semantics of application ...
188
click to vote
CD
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Products within a product family are composed of different component configurations where components have different variable features and a large amount of dependency re...
148
click to vote
DLOG
2008
15 years 8 months ago
2008
Abstract. In this paper, we propose a new method for revising terminologies in description logic-based ontologies. Our revision method is a reformulation of the kernel revision ope...
139
click to vote
DLOG
2008
15 years 8 months ago
2008
Abstract. We propose an approach for extending a tableau-based satisfiability algorithm by an arithmetic component. The result is a hybrid satisfiability algorithm for the Descript...
226
click to vote
DLOG
2011
14 years 9 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...