Sciweavers

394 search results - page 63 / 79
» Supporting Uncertainty and Inconsistency in Semantic Web App...
Sort
View
LPAR
2005
Springer
15 years 5 months ago
Automating Coherent Logic
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
Marc Bezem, Thierry Coquand
AAAI
2007
15 years 2 months ago
Approximating OWL-DL Ontologies
Efficient query answering over ontologies is one of the most useful and important services to support Semantic Web applications. Approximation has been identified as a potential...
Jeff Z. Pan, Edward Thomas
CORR
2011
Springer
140views Education» more  CORR 2011»
14 years 3 months ago
A Wiki for Business Rules in Open Vocabulary, Executable English
The problem of business-IT alignment is of widespread economic concern. As one way of addressing the problem, this paper describes an online system that functions as a kind of Wik...
Adrian Walker
SIGMOD
2007
ACM
225views Database» more  SIGMOD 2007»
15 years 12 months ago
From complete to incomplete information and back
Incomplete information arises naturally in numerous data management applications. Recently, several researchers have studied query processing in the context of incomplete informat...
Lyublena Antova, Christoph Koch, Dan Olteanu
ESWA
2006
122views more  ESWA 2006»
14 years 11 months ago
Ontology construction for information classification
Following the advent of the Internet technology and the rapid growth of its applications, users have spent long periods of time browsing through the ocean of information found in ...
Sung-Shun Weng, Hsine-Jen Tsai, Shang-Chia Liu, Ch...