Sciweavers

811 search results - page 26 / 163
» Semantic Web Reasoning with Conceptual Logic Programs
Sort
View
GEOS
2009
Springer
14 years 11 days ago
Towards Reasoning Pragmatics
Abstract. The realization of Semantic Web reasoning is central to substantiating the Semantic Web vision. However, current mainstream research on this topic faces serious challenge...
Pascal Hitzler
ICLP
1992
Springer
13 years 12 months ago
A Declarative View of Inheritance in Logic Programming
We discuss a declarative characterization of inheritance in logic programming. Our approach is inspired both by existing literature on denotational models for inheritance and by e...
Michele Bugliesi
LPNMR
2009
Springer
14 years 2 months ago
Layer Supported Models of Logic Programs
Building upon the 2-valued Layered Models semantics for normal programs, we introduce a refinement — the Layer Supported Models semantics — which, besides keeping all of LMs...
Luís Moniz Pereira, Alexandre Miguel Pinto
FLAIRS
2006
13 years 9 months ago
Uncertainty Reasoning in Description Logics: A Generic Approach
Description Logics (DL) are gaining more popularity as the foundation of ontology languages for the Semantic Web. As most information in real life is imperfect, there has been an ...
Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri
LPNMR
1999
Springer
14 years 15 hour ago
Representing Transition Systems by Logic Programs
This paper continues the line of research on representing actions, on the automation of commonsense reasoning and on planning that deals with causal theories and with action langua...
Vladimir Lifschitz, Hudson Turner