ResearchSpace
→
Browsing by Subject

Browsing by Subject "Semantics"

Now showing items 1-8 of 8

Advances in ontologies, proceedings of the Australasian ontology workshop, Melbourne, Australia

Author: Meyer, T (ed) ; Taylor, K (ed) Date: Dec 2009 In 2004, a small team of investigators undertook a prototype development effort to explore how semantics could be inserted in several existing scientific data systems being supported by the High Altitude Observatory at the National Centre for ... Read more
Bringing children’s dictionaries to digital life

Author: Wilken, Ilana ; Marais, Laurette Date: Nov 2023 South Africa is facing a literacy crisis, with the latest PIRLS results showing that 8 out of 10 learners cannot read for basic comprehension by the time they leave the foundation phase. In this climate, the development of strategies to assist ... Read more
Concept model semantics for DL preferential reasoning

Author: Britz, K ; Meyer, T ; Varzinczak, I Date: Jul 2011 The preferential and rational consequence relations first studied by Lehmann and colleagues play a central role in non-monotonic reasoning, not least because they provide the foundation for the determination of the important notion of rational ... Read more
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
Nonmonotonic reasoning in description logics. Rational closure for the ABox

Author: Casini, G ; Meyer, T ; Moodley, K ; Varzinczak, I Date: Jul 2013 The introduction of defeasible reasoning in Description Logics has been a main research topic in the field in the last years. Despite the fact that various interesting formalizations of nonmonotonic reasoning for the TBox have been proposed, ... Read more
On action theory change

Author: Varzinczak, IJ Date: Feb 2010 As historically acknowledged in the Reasoning about Actions and Change community, intuitiveness of a logical domain description cannot be fully automated. Moreover, like any other logical theory, action theories may also evolve, and thus ... Read more
PTL: A Propositional Typicality Logic

Author: Booth, R ; Meyer, T ; Varzinczak, I Date: Sep 2012 We introduce Propositional Typicality Logic (PTL), a logic for reasoning about typicality. We do so by enriching classical propositional logic with a typicality operator of which the intuition is to capture the most typical (or normal) ... Read more
Semantic foundation for preferential description logics

Author: Britz, K ; Meyer, T ; Varzinczak, I Date: Dec 2011 Description logics are a well-established family of knowledge representation formalisms in Artificial Intelligence. Enriching description logics with non-monotonic reasoning capabilities, especially preferential reasoning as developed by ... Read more

Now showing items 1-8 of 8

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 "Semantics"

Browsing by Subject "Semantics"

Browse

All of ResearchSpace

Quick Links

Legislation and compliance

General Enquiries

Social Connect