Sciweavers

811 search results - page 46 / 163
» Semantic Web Reasoning with Conceptual Logic Programs
Sort
View
ICLP
2007
Springer
14 years 3 months ago
Prolog as the Fundament for Applications on the Semantic Web
This article describes the experiences developing a Semantic Web application entirely in Prolog. The application, a demonstrator that provides access to multiple art collections an...
Jan Wielemaker, Michiel Hildebrand, Jacco van Osse...
ESWS
2008
Springer
13 years 10 months ago
Pronto: A Non-monotonic Probabilistic Description Logic Reasoner
Abstract. The demonstration presents Pronto - a prototype of a nonmonotonic probabilistic reasoner for very expressive Description Logics. Pronto is built on top of the OWL DL reas...
Pavel Klinov
DLOG
2004
13 years 10 months ago
Local Tableaux for Reasoning in Distributed Description Logics
The last decade of basic research in the area of Description Logics (DL) has created a stable theory, efficient inference procedures, and has demonstrated a wide applicability of ...
Luciano Serafini, Andrei Tamilin
ENTCS
2008
106views more  ENTCS 2008»
13 years 9 months ago
Reduction Semantics and Formal Analysis of Orc Programs
Orc is a language for orchestration of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to program sophisticated web orchestration appli...
Musab AlTurki, José Meseguer
CADE
2007
Springer
14 years 9 months ago
Optimized Reasoning in Description Logics Using Hypertableaux
We present a novel reasoning calculus for Description Logics (DLs)--knowledge representation formalisms with applications in areas such as the Semantic Web. In order to reduce the ...
Boris Motik, Rob Shearer, Ian Horrocks