Defeasible Reasoning in OSCAR
share
This is a system description for the OSCAR defeasible reasoner.
READ FULL TEXT
research
∙
05/11/2000
Reasoning with Individuals for the Description Logic SHIQ
While there has been a great deal of work on the development of reasonin...
research
∙
01/12/2016
Essence' Description
A description of the Essence' language as used by the tool Savile Row....
research
∙
06/10/2017
Towards Statistical Reasoning in Description Logics over Finite Domains (Full Version)
We present a probabilistic extension of the description logic ALC for re...
research
∙
03/09/2000
PAL: Pertinence Action Language
The current document contains a brief description of a system for Reason...
research
∙
04/26/2020
Detecting fake news for the new coronavirus by reasoning on the Covid-19 ontology
In the context of the Covid-19 pandemic, many were quick to spread decep...
research
∙
08/10/2022
The Completeness of Reasoning Algorithms for Clause Sets in Description Logic ALC
On the Semantic Web, metadata and ontologies are used to enable computer...
research
∙
04/30/2023