Sciweavers

753 search results - page 35 / 151
» Statistical Reasoning - A Foundation for Semantic Web Reason...
Sort
View
DLOG
2004
13 years 9 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
ESWS
2008
Springer
13 years 9 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
CADE
2007
Springer
14 years 8 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
CORR
2010
Springer
111views Education» more  CORR 2010»
13 years 5 months ago
Analysis Of Cancer Omics Data In A Semantic Web Framework
Our work concerns the elucidation of the cancer (epi)genome, transcriptome and proteome to better understand the complex interplay between a cancer cell's molecular state and ...
Matthew Holford, James P. McCusker, Kei-Hoi Cheung...
OTM
2007
Springer
14 years 2 months ago
Scalability of OWL Reasoning: Role condensates
In the last years, there has been an increasing interest in the performance of reasoning on the Semantic Web in presence of large ABoxes. Traditional reasoners make heavily use of ...
Sebastian Wandelt, Ralf Möller