60 search results - page 10 / 12 » A Syntax for Rules in OWL 2 |
ICLP
2007
Springer
15 years 1 months ago
2007
Springer
We present the CIFFWEB system, an innovative tool for the verification of web sites, relying upon abductive logic programming. The system allows the user to define rules that a web...
58
Voted
LREC
2010
14 years 11 months ago
2010
In this paper, we present an ontology-based methodology and architecture for the comparison, assessment, combination (and, to some extent, also contrastive evaluation) of the resu...
CORR
2007
Springer
14 years 9 months ago
2007
Springer
Recently, there has been a lot of interest in the integration of Description Logics and rules on the Semantic Web. We define guarded hybrid knowledge bases (or g-hybrid knowledge...
122
click to vote
ASWC
2009
Springer
14 years 7 months ago
2009
Springer
Driven by the goal of automating data analyses in the field of bioinformatics, SHARE (Semantic Health and Research Environment) is a specialized SPARQL engine that resolves queries...
69
Voted
SEMWEB
2009
Springer
15 years 4 months ago
2009
Springer
In this paper, we consider the problem of materializing the complete finite RDFS closure in a scalable manner; this includes those parts of the RDFS closure that are often ignored...