Sciweavers

2395 search results - page 92 / 479
» Reasoning in Semantic Wikis
Sort
View
DLOG
2004
14 years 11 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
PPSWR
2005
Springer
15 years 3 months ago
SomeWhere in the Semantic Web
Philippe Adjiman, Philippe Chatalic, Franço...
DLOG
2006
14 years 11 months ago
Experiences with Load Balancing and Caching for Semantic Web Applications
In our case study we investigate a server for answering OWLQL queries with distinguished variables only (henceforth called OWLQL). This server acts as a proxy that delegates queri...
Alissa Kaplunova, Atila Kaya, Ralf Möller
CADE
2007
Springer
15 years 10 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
CADE
2002
Springer
15 years 10 months ago
Reasoning with Expressive Description Logics: Theory and Practice
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...
Ian Horrocks