1937 search results - page 6 / 388 » Rule Based Updates on Simple Knowledge Bases |
103
click to vote
RR
2009
Springer
15 years 6 months ago
2009
Springer
Open Answer Set Programming (OASP) can be seen as a framework to represent tightly integrated combined knowledge bases of ontologies and rules that are not necessarily DL-safe. The...
VLDB
1992
ACM
15 years 3 months ago
1992
ACM
The integration of object-oriented concepts into deductive databases has been investigated for a certain time now. Various approaches to incorporate updates into deduction have be...
DLOG
2003
15 years 1 months ago
2003
In this paper we formalise compilation of the conjunctive bodies of a restricted class of Horn rules into updates on terminologies. This involves a pre-processing of the graphs re...
ICLP
1999
Springer
15 years 3 months ago
1999
Springer
AISC
2008
Springer
15 years 1 months ago
2008
Springer
In [9], various observations on the handling of (physical) units in OpenMath were made. In this paper, we update those observations, and make some comments based on a working unit ...