2414 search results - page 152 / 483 » Reasoning Support for OWL-E |
143
click to vote
SIGMOD
2010
ACM
15 years 4 months ago
2010
ACM
Continuous SPARQL (C-SPARQL) is a new language for continuous queries over streams of RDF data. CSPARQL queries consider windows, i.e., the most recent triples of such streams, ob...
158
click to vote
ECSQARU
2009
Springer
15 years 3 months ago
2009
Springer
We claim that divisible residuated lattices (DRLs) can act as a unifying evaluation framework for soft constraint satisfaction problems (soft CSPs). DRLs form the algebraic semanti...
170
click to vote
ECSQARU
2009
Springer
15 years 3 months ago
2009
Springer
For a presented case, a Bayesian network classifier in essence computes a posterior probability distribution over its class variable. Based upon this distribution, the classifier&#...
160
click to vote
ESOP
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. Nominal Isabelle is a definitional extension of the Isabelle/HOL theorem prover. It provides a proving infrastructure for reasoning about programming language calculi in...
258
click to vote
SEMWEB
2011
Springer
14 years 8 months ago
2011
Springer
We present the OWL API, a high level Application Programming Interface (API) for working with OWL ontologies. The OWL API is closely aligned with the OWL 2 structural specificatio...