26 search results - page 1 / 6 » A Modest, but Semantically Well Founded, Inheritance Reasone... |
IJCAI
1989
13 years 7 months ago
1989
A modest exception allowing inheritance reasoner is presented. The reasoner allows restricted, but semantically well founded, defeasible property inheritance. Furthermore, it give...
COOPIS
2002
IEEE
13 years 10 months ago
2002
IEEE
Abstract. F-logic is a popular formalism for knowledge-intensive applications and, especially, for ontology management in Semantic Web. However, the original F-logic’s semantics ...
LPNMR
1991
Springer
13 years 9 months ago
1991
Springer
ICLP
1991
Springer
13 years 9 months ago
1991
Springer
Well Founded Semantics is adequate to capture nonmonotonic reasoning if we interpret the Well Founded model of a program P as a (possibly incomplete) view of the world. Thus the W...
RR
2007
Springer
13 years 12 months ago
2007
Springer
The well-founded semantics (WFS) for logic programs is one of the few major paradigms for closed-world reasoning. With the advent of the Semantic Web, it is being used as part of r...