[图书][B] Justification based explanation in ontologies

M Horridge - 2011 - search.proquest.com
Abstract The Web Ontology Language, OWL, is the latest standard in logic based ontology
languages. It is built upon the foundations of highly expressive Description Logics, which are …

Root justifications for ontology repair

K Moodley, T Meyer, IJ Varzinczak - … , RR 2011, Galway, Ireland, August 29 …, 2011 - Springer
An ontology (also referred to as a terminology, knowledge base) is an entity used to
represent some domain (field of knowledge). Usually the building blocks of an ontology …

The justificatory structure of the NCBO bioportal ontologies

S Bail, M Horridge, B Parsia, U Sattler - … 23-27, 2011, Proceedings, Part I …, 2011 - Springer
Current ontology development tools offer debugging support by presenting justifications for
entailments of OWL ontologies. While these minimal subsets have been shown to support …

[PDF][PDF] Debugging and repair of description logic ontologies.

K Moodley - 2010 - Citeseer
The experimental work described in this dissertation was carried out in the School of
Computer Science, University of KwaZulu-Natal, Durban, from January 2009 to December …

[图书][B] The justificatory structure of OWL ontologies

S Bail - 2013 - search.proquest.com
Abstract The Web Ontology Language OWL is based on the highly expressive description
logic SROIQ, which allows OWL ontology users to employ out-of-the-box reasoners to …

[PDF][PDF] Declutter Your Justifications: Determining Similarity Between OWL Explanations.

S Bail, B Parsia, U Sattler - WoDOOM@ EKAW, 2012 - ep.liu.se
Given the high expressivity of the Web Ontology Language OWL 2, there is a potential for
great diversity in the logical content of OWL ontologies. The fact that many naturally …

Systematic review: Availability, effectiveness and safety of assisted reproductive techniques in Sub-Saharan Africa

BHJ Botha - 2018 - open.uct.ac.za
STUDY QUESTION: What is the evidence pertaining to availability, effectiveness and safety
of assisted reproductive technology (ART) in sub-Saharan Africa? SUMMARY ANSWER …

DevelopinThe Bayesian Description Logic BALC

L Botha - 2018 - open.uct.ac.za
Logics (DLs) that support uncertainty are not as well studied as their crisp alternatives. This
limits their application in many real world domains, which often require reasoning about …

[引用][C] 面向需求的应用本体不一致诊断方法研究

宋丹辉 - 现代情报, 2016