Sciweavers

811 search results - page 26 / 163
» Semantic Web Reasoning with Conceptual Logic Programs
Sort
View
90
Voted
GEOS
2009
Springer
15 years 2 months 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
107
Voted
ICLP
1992
Springer
15 years 1 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
61
Voted
LPNMR
2009
Springer
15 years 4 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
14 years 11 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
103
Voted
LPNMR
1999
Springer
15 years 1 months 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