593 search results - page 63 / 119 » RDF and Logic: Reasoning and Extension |
127
click to vote
META
1992
15 years 4 months ago
1992
A meta-level extension of a logic programming language is presented. The resulting language, called 'LOG (read quote-log), provides meta-programming facilities similar to thos...
97
Voted
DAGSTUHL
2006
15 years 1 months ago
2006
We examine the possible use of Description Logics as a knowledge representation and reasoning system for high-level scene interpretation. It is shown that aggregates composed of m...
KR
2000
Springer
15 years 4 months ago
2000
Springer
Though overriding as a single and default mode of inheritance is adequate for most knowledge bases, a large class of applications naturally requires several inheritance modes and ...
115
Voted
DLOG
1996
15 years 1 months ago
1996
Number restrictions are concept constructors that are available in almost all implemented description logic systems. However, even though there has lately been considerable effort...
143
click to vote
ICLP
1994
Springer
15 years 4 months ago
1994
Springer
In many cases, a logic program can be divided into two parts, so that one of them, the \bottom" part, does not refer to the predicates de ned in the \top" part. The \bot...