Sciweavers

1587 search results - page 178 / 318
» The Semantics of Extended SOFL
Sort
View
RR
2009
Springer
14 years 3 months ago
Paraconsistent Reasoning for OWL 2
Abstract. A four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases. This approach has a distinct advantage that it can ...
Yue Ma, Pascal Hitzler
ICIW
2008
IEEE
14 years 3 months ago
DBOWL: Towards a Scalable and Persistent OWL Reasoner
—With the increasing development of real applications using Semantic Web Technologies, it is necessary to provide scalable and efficient ontology querying and reasoning systems....
María del Mar Roldán García, ...
ACMICEC
2006
ACM
141views ECommerce» more  ACMICEC 2006»
14 years 3 months ago
From HTML documents to web tables and rules
We present a browser-extending Semantic Web extraction system that maps HTML documents to tables and, where possible, to rules. First, the basic data extractor ViPER distills and ...
Kai Simon, Georg Lausen, Harold Boley
XIMEP
2005
ACM
155views Database» more  XIMEP 2005»
14 years 2 months ago
Deep Set Operators for XQuery
There are three set operators defined in XQuery, namely union, intersect and except. They take node sequences as operands, in which each node is identified by its node-ID and tr...
Bo Luo, Dongwon Lee, Wang-Chien Lee, Peng Liu
ATAL
2005
Springer
14 years 2 months ago
Progressive ontology alignment for meaning coordination: an information-theoretic foundation
We elaborate on the mathematical foundations of the meaning coordination problem that agents face in open environments. We investigate to which extend the BarwiseSeligman theory o...
W. Marco Schorlemmer, Yannis Kalfoglou