Robust and scalable linked data reasoning incorporating provenance and trust annotations
PA Bonatti, A Hogan, A Polleres, L Sauro - Journal of Web Semantics, 2011 - Elsevier
In this paper, we leverage annotated logic programs for tracking indicators of provenance
and trust during reasoning, specifically focussing on the use-case of applying a scalable …
and trust during reasoning, specifically focussing on the use-case of applying a scalable …
Efficient axiom pinpointing in EL using SAT technology
We propose a novel approach to axiom pinpointing based on a reduction to the SAT task of
minimal unsatisfiable subformula enumeration, allowing highly optimized algorithms and …
minimal unsatisfiable subformula enumeration, allowing highly optimized algorithms and …
SATPin: Axiom Pinpointing for Lightweight Description Logics Through Incremental SAT
One approach to axiom pinpointing (AP) in description logics is its reduction to the
enumeration of minimal unsatisfiable subformulas, allowing for the deployment of highly …
enumeration of minimal unsatisfiable subformulas, allowing for the deployment of highly …
Using provenance to debug changing ontologies
S Schenk, R Dividino, S Staab - Journal of Web Semantics, 2011 - Elsevier
On the Semantic Web ontologies evolve and are managed in a distributed setting, eg in
biomedical databases. Changes are contributed by multiple persons or organizations at …
biomedical databases. Changes are contributed by multiple persons or organizations at …
Managing and using provenance in the semantic web
RQ Dividino - 2017 - kola.opus.hbz-nrw.de
The Web contains some extremely valuable information; however, often poor quality,
inaccurate, irrelevant or fraudulent information can also be found. With the increasing …
inaccurate, irrelevant or fraudulent information can also be found. With the increasing …
Focusing on Precision-and Trust-Propagation in Knowledge Processing Systems
M Jäger, J Nikander, S Nadschläger… - Future Data and Security …, 2017 - Springer
In knowledge processing systems, when gathered data and knowledge from several
(external sources) is used, the trustworthiness and quality of the information and data has to …
(external sources) is used, the trustworthiness and quality of the information and data has to …
[PDF][PDF] Axiom Pinpointing for Lightweight Description Logics through Incremental SAT
One approach to axiom pinpointing (AP) in description logics is its reduction to the
enumeration of minimal unsatisfiable subformulas, allowing for the deployment of highly …
enumeration of minimal unsatisfiable subformulas, allowing for the deployment of highly …
Search Projects
neon project full details | Knowledge Media Institute | The Open University Home News
Research Projects Technologies People Publications Seminars Careers Knowledge Media …
Research Projects Technologies People Publications Seminars Careers Knowledge Media …
A contextualized knowledge framework for semantic web
M Joseph - Extended Semantic Web Conference, 2010 - Springer
This thesis focuses on developing an efficient framework for contextualized knowledge
representation on Semantic Web. We point out the drawbacks of existing formalism for …
representation on Semantic Web. We point out the drawbacks of existing formalism for …
Search Projects
neon project full details | Knowledge Media Institute | The Open University Home News
Research Projects Technologies People Publications Seminars Careers Knowledge Media …
Research Projects Technologies People Publications Seminars Careers Knowledge Media …