28 search results - page 3 / 6 » A Semantical Approach to Stable Inheritance Reasoning |
LPNMR
1997
Springer
13 years 10 months ago
1997
Springer
Turi [20] introduced the important notion of a constrained atom: an atom with associated equality and disequality constraints on its arguments. A set of constrained atoms is a cons...
OTM
2005
Springer
14 years 3 days ago
2005
Springer
Several applications require reasoning over autonomously developed ontologies. Initially conceived to explicit the semantics of a certain domain, these ontologies become a powerfu...
AI
2001
Springer
13 years 10 months ago
2001
Springer
The stable semantics has become a prime candidate for knowledge representation and reasoning. The rules associated with propositional logic programs and the stable semantics are no...
ICLP
2007
Springer
13 years 10 months ago
2007
Springer
We describe the combination of OWL and F-Logic for the architecture of Semantic Web application nodes. The approach has been implemented by combining an existing Jena-based archite...
DLOG
2009
13 years 4 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...