Sciweavers

811 search results - page 36 / 163
» Semantic Web Reasoning with Conceptual Logic Programs
Sort
View
AMAI
1999
Springer
13 years 8 months ago
Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm
Logic programming with the stable model semantics is put forward as a novel constraint programming paradigm. This paradigm is interesting because it bring advantages of logic prog...
Ilkka Niemelä
SEMCO
2007
IEEE
14 years 3 months ago
Evolutionary Conceptual Clustering of Semantically Annotated Resources
A clustering method is presented which can be applied to knowledge bases storing semantically annotated resources. The method can be used to discover groupings of structured objec...
Nicola Fanizzi, Claudia d'Amato, Floriana Esposito
RWEB
2010
Springer
13 years 7 months ago
Reasoning and Explanation in EL and in Expressive Description Logics
Description Logics (DLs) are the formalism underlying the standard web ontology language OWL 2. DLs have formal semantics which are the basis for powerful reasoning services. In th...
Anni-Yasmin Turhan
IADIS
2003
13 years 10 months ago
The Semantic + Pragmatic Web = The Semiotic Web
The desideratum for the concept of a semiotic web is proposed. It combines both the recent semantic web and the pragmatic web initiatives but surpasses them in being faithful to C...
Ahti-Veikko Pietarinen
ICLP
2004
Springer
14 years 2 months ago
Possible Worlds Semantics for Probabilistic Logic Programs
Abstract. In this paper we consider a logic programming framework for reasoning about imprecise probabilities. In particular, we propose a new semantics, for the Probabilistic Logi...
Alex Dekhtyar, Michael I. Dekhtyar