Sciweavers

2395 search results - page 92 / 479
» Reasoning in Semantic Wikis
Sort
View
DLOG
2004
15 years 5 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 9 months ago
SomeWhere in the Semantic Web
Philippe Adjiman, Philippe Chatalic, Franço...
DLOG
2006
15 years 5 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
16 years 4 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
16 years 4 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