Browsing Conference Publications by Subject "ABox abduction"

Now showing items 1-1 of 1

Naive ABox abduction in ALC using a DL tableau

Author: Halland, K ; Britz, K Date: Jun 2012 The formal definition of abduction asks what needs to be added to a knowledge base to enable an observation to be entailed by the knowledge base. An observation which is not entailed by the knowledge base will result in open branches in a ... Read more

Now showing items 1-1 of 1

Browse

All of ResearchSpace
This Collection
- By Issue Date
- Authors
- Titles
- Subjects
- Publication Type
- Cluster
- Impact Area

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 Conference Publications by Subject "ABox abduction"

Browsing Conference Publications by Subject "ABox abduction"

Browse

All of ResearchSpace

This Collection

Quick Links

Legislation and compliance

General Enquiries

Social Connect