1285 search results - page 94 / 257 » Description Logic Reasoner: System Description |
194
click to vote
DLOG
2011
14 years 9 months ago
2011
Abstract. The preferential and rational consequence relations first studied by Lehmann and colleagues play a central role in non-monotonic reasoning, not least because they provid...
194
click to vote
ICIW
2008
IEEE
16 years 19 days ago
2008
IEEE
In this paper, we present an extension of PHIL, a declarative language for filtering information from XML data. The proposed approach allows us to extract relevant data as well a...
141
click to vote
DLOG
2001
15 years 7 months ago
2001
We combine the description logic ALC with the metric logics defined Entities that are conceived of as abstract points in the realm of ALC are given a spatial extension via an `ext...
145
click to vote
DLOG
2007
15 years 8 months ago
2007
One of the main concerns of constructive semantics is to provide a computational interpretation for the proofs of a given logic. In this paper we introduce a constructive semantics...
165
click to vote
ML
2006
ACM
15 years 6 months ago
2006
ACM
The application of Inductive Logic Programming to scientific datasets has been highly successful. Such applications have led to breakthroughs in the domain of interest and have dri...