Reason Maintenance - Conceptual Framework

This paper describes the conceptual framework for reason maintenance developed as part of WP2

OWL Reasoners still useable in 2023

In a systematic literature and software review over 100 OWL reasoners/systems were analyzed to see if they would still be usable in 2023. This has never been done in this capacity. OWL reasoners still play an important role in knowledge organisation and management, but the last comprehensive surveys/studies are more than 8 years old. The result of this work is a comprehensive list of 95 standalone OWL reasoners and systems using an OWL reasoner. For each item, information on project pages, source code repositories and related documentation was gathered. The raw research data is provided in a Github repository for anyone to use

Conservation GIS: Ontology and spatial reasoning for commonsense knowledge.

Dissertation submitted in partial fulfilment of the requirements for the Degree of Master of Science in Geospatial Technologies.Geographic information available from multiple sources are moving beyond their local context and widening the semantic difference. The major challenge emerged with ubiquity of geographic information, evolving geospatial technology and location-aware service is to deal with the semantic interoperability. Although the use of ontology aims at capturing shared conceptualization of geospatial information, human perception of world view is not adequately addressed in geospatial ontology. This study proposes ‘Conservation GIS Ontology’ that comprises spatial knowledge of non-expert conservationists in the context of Chitwan National Park, Nepal. The discussion is presented in four parts: exploration of commonsense spatial knowledge about conservation; development of conceptual ontology to conceptualize domain knowledge; formal representation of conceptualization in Web Ontology Language (OWL); and quality assessment of the ontology development tasks. Elicitation of commonsense spatial knowledge is performed with the notion of cognitive view of semantic. Emphasis is given to investigate the observation of wildlife movement and habitat change scenarios. Conceptualization is carried out by providing the foundation of the top-level ontology- ‘DOLCE’ and geospatial ontologies. Protégé 4.1 ontology editor is employed for ontology engineering tasks. Quality assessment is accomplished based on the intrinsic approach of ontology evaluation.(...

KLM-Style Defeasible Reasoning for Datalog

In many problem domains, particularly those related to mathematics and philosophy, classical logic has enjoyed great success as a model of valid reasoning and discourse. For real-world reasoning tasks, however, an agent typically only has partial knowledge of its domain, and at most a statistical understanding of relationships between properties. In this context, classical inference is considered overly restrictive, and many systems for non-monotonic reasoning have been proposed in the literature to deal with these tasks. A notable example is the Klm framework, which describes an agent's defeasible knowledge qualitatively in terms of conditionals of the form “if A, then typically B”. The goal of this research project is to investigate Klm-style semantics for defeasible reasoning over Datalog knowledge bases. Datalog is a declarative logic programming language, designed for querying large deductive databases. Syntactically, it can be viewed as a computationally feasible fragment of firstorder logic, so this continues a recent line of work in which the Klm framework is lifted to more expressive languages

OUTCOME OF MACHINE REASONING IN A NETWORK MANAGEMENT SYSTEM TOPOLOGY VIEW

A technique is described herein to provide a visualization overlaid on a network topology that illustrates the cascading impact of a network event before it happens. The technique may empower a network administrator to perform one or more steps to mitigate the issue and/or minimize its impact before the issue manifests itself into a critical network condition

Adaptationism, Deflationism, and Anti-Individualism

An examination of the externalist theories of Tyler Burge, Daniel Dennett and Ruth Millikan

A survey of current, stand-alone OWL Reasoners

Abstract. We present a survey of the current OWL reasoner landscape. Through literature and web search we have identified 35 OWL reasoners that are, at least to some degree, actively maintained. We conducted a survey directly addressing the respective developers, and collected 33 responses. We present an analysis of the survey, characterising all reasoners across a wide range of categories such as supported expressiveness and reasoning services. We will also provide some insight about ongoing research efforts and a rough categorisation of reasoner calculi