NDLI: A defeasible reasoning approach for description logic ontologies

Please wait, while we are loading the content...

Test-case generation and bug-finding through symbolic execution

Audio pacemaker: walking, talking indigenous knowledge

Changing career choice factors as the economic environment changes

A note on the translation of conceptual data models into description logics: disjointness and covering assumptions

Revisiting the theory of planned behavior for the preparation of the adoption of municipal e-services in less developed countries

Synthesis of green IS frameworks for achieving strong environmental sustainability in organisations

Comparing paper ranking algorithms

Internet use and expatriate adjustment: understanding the degree of isolation experienced in kingdom of Saudi Arabia

Towards a framework for decision making regarding IT adoption

A comparative drivability analysis for autonomous robots in underground mines using the entropy and SRM models

The adoption of e-Learning in corporate training environments: an activity theory based overview

A longitudinal analysis of ICT project success

Improving communication for distributed model checking

WiiMS: simulating mouse and keyboard for motor-impaired users

An exploratory survey of design science research amongst South African computing scholars

ABox abduction in ALC using a DL tableau

Toward an mPolicing solution for Namibia: leveraging emerging mobile platforms and crime mapping

CaptureFoundry: a GPU accelerated packet capture analysis tool

Performance assessment of dead-zone single keyword pattern matching

Software visualisation through video games

Assessing the design of web interoperability protocols

A defeasible reasoning approach for description logic ontologies

How can usability contribute to user experience?: a study in the domain of e-commerce

What is software architecture?

Local directional pattern based signature verification using weighted fractional distance classification

An online meeting tool for low bandwidth environments

A proposed cyber threat incident handling framework for schools in South Africa

Automated coverage calculation and test case generation

Effects of application type on the choice of interaction modality in IVR systems

Modeling management information systems' success: a study in the domain of further education and training

From visual scripting to Lua

A scientific concept animation tool for content implementation in e-learning

Cache-sensitive MapReduce DGEMM algorithms for shared memory architectures

Hardware and software for skateboard trick visualisation on a mobile phone

A framework for the choreography of intelligent e-services

Are mobile in-car communication systems feasible?: a usability study

Performance optimisation of sequential programs on multi-core processors

An empirical investigation into the use of digital photo frames as low cost e-book readers

Monte-Carlo tree search parallelisation for computer go

Moses -- method for selecting senior mobile phones: supporting design & choice for the elderly

Symbolic execution of programs with strings

Exploring the use of a multi-touch surface to support collaborative information retrieval

A defeasible reasoning approach for description logic ontologies

Content Provider	ACM Digital Library
Author	Varzinczak, Ivan José Meyer, Thomas Moodley, Kody
Abstract	Classical reasoning for logic-based KR (Knowledge Representation) systems is in general, monotonic. That is, there is an assumption in these systems that there is complete information about a domain. This means that they generally cannot deal with any new information arising which contradicts with the current information. This is not an appropriate model for reasoning in many applications. Therefore, alternative non-monotonic systems have been investigated which can reason under uncertainty or with incomplete information. Defeasible reasoning is one particular model for implementing non-monotonic reasoning. It is concerned with representing and reasoning with defeasible (non-strict) facts about a domain. The defeasible counterpart of the strict fact: "All birds fly" is the defeasible fact: "Most birds fly" (or the alternative phrasing "Birds usually fly"). We discuss two approaches for defeasible reasoning in the family of logic-based KR languages known as Description Logics (DLs). They are applicable to particular extensions of DLs that allow for the statement of defeasible sentences similar to the aforementioned examples. The approaches are known as prototypical reasoning and presumptive reasoning and are both rooted in the notion of Rational Closure developed by Lehmann and Magidor for an extension of propositional logic. Here we recast their definitions in a DL context and define algorithms for prototypical and presumptive reasoning for DL knowledge bases (also called DL ontologies) that may contain defeasible sentences. In particular, we present a plug-in for the Protégé ontology editor which implements these algorithms for OWL ontologies - the Web Ontology Language (OWL) is a formal standard of languages whose semantic basis is identical to that of DLs. Our plug-in, RaMP, allows the modeller to indicate defeasible information in OWL ontologies and perform logical inferencing to determine what defeasible conclusions one can draw from these ontologies.
Starting Page	69
Ending Page	78
Page Count	10
File Format	PDF
ISBN	9781450313087
DOI	10.1145/2389836.2389845
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2012-10-01
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Owl Defeasible reasoning Rational closure Protégé
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in