522 search results - page 45 / 105 » Real-time Logics: Complexity and Expressiveness |
202
click to vote
RR
2009
Springer
16 years 19 days ago
2009
Springer
Abstract. A four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases. This approach has a distinct advantage that it can ...
181
click to vote
DLOG
2009
15 years 3 months ago
2009
In this work we summarize our recent results on extending Description Logics for reasoning about prototypical properties and inheritance with exceptions. First, we focus our attent...
164
click to vote
SEMWEB
2009
Springer
16 years 19 days ago
2009
Springer
Abstract. This paper presents a decidable fragment for combining ontologies and rules in order-sorted logic programming. We describe ordersorted logic programming with sort, predic...
157
click to vote
LPAR
2007
Springer
16 years 7 days ago
2007
Springer
We investigate the possibility of developing a decidable logic which allows expressing a large variety of real world specifications. The idea is to define a decidable subset of m...
141
click to vote
ICDAR
2009
IEEE
16 years 25 days ago
2009
IEEE
In this paper, we make an attempt to use Inductive Logic Programming (ILP) to automatically learn non trivial descriptions of symbols, based on a formal description. This work is ...