ResearchSpace
→
Browsing by Subject

Browsing by Subject "Root justifications"

Now showing items 1-2 of 2

First steps in the computation of root justifications

Author: Meyer, T ; Moodley, K ; Varzinczak, I Date: Aug 2010 Description Logics (DLs) are widely accepted as an appropriate class of knowledge representation languages to represent and reason about ontologies. Tools for performing standard reasoning tasks such as satisfiability and consequence checking ... Read more
Root justifications for ontology repair

Author: Moodley, K ; Meyer, T ; Varzinczak, IJ Date: Aug 2011 In recent years, there has been significant progress in developing tools for debugging and repairing Description Logic (DL)-based ontologies with erroneous consequences. However, these tools place more emphasis on explaining why the consequences ... Read more

Now showing items 1-2 of 2

Browse

All of ResearchSpace

Quick Links

Legislation and compliance

General Enquiries

Tel: + 27 12 841 2911
Email: callcentre@csir.co.za

Physical Address
Meiring Naudé Road
Brummeria
Pretoria
South Africa

Postal Address
PO Box 395
Pretoria 0001
South Africa

Social Connect

Resources on this site are free to download and reuse according to associated licensing provision. Please read the terms and conditions of usage of each resource.

Browsing by Subject "Root justifications"

Browsing by Subject "Root justifications"

Browse

All of ResearchSpace

Quick Links

Legislation and compliance

General Enquiries

Social Connect