Embedding Deontic Logic Operators from a Large Ontology in Higher-order Logic ⋆

Semantics for Description Logics via Assumption-Based Argumentation: Preliminary Results

This paper explores how reasoning over DL terminologies can be captured in argumentative terms, by establishing a translation into Assumption-Based Argumentation (ABA), a rule-based formalism comprising defeasible assumptions, where argumentation semantics are used to retrieve sets of jointly acceptable assumptions.

SigmaKEE-rs: An Embedded Ontological Reasoning System with Vampire as a Reusable Library Component

The engineering challenges encountered in adapting Vampire into a reusable component suitable for real-time, multi-query workloads are described, and preliminary performance results comparing the embedded approach with the traditional process-based invocation model used in the original Java-based SigmaKEE are reported.

Postulates Here, Postulates Everywhere: A Discussion of Contraction Postulates

Semantic Investigations of De Re Modal Logics of Terms

In this paper, by a de re modal logic of terms, we mean a set of tautologies determined by a given semantics. We present a comprehensive study of several such semantics. First, we analyse semantics with a natural interpretation of de re modal propositions. We use the Johnson–Thomason models, but reject their four a...

Matching in the Description Logic E L without the Top Concept

Stoic Logic and Natural Term Logic

In this paper we propose a reconstruction of the theory of multiple generality in Stoic Logic using the Natural Term Logic (NTL) developped by the author in \cite{ntl}. Contrary to a frequent misconception, it can be shown conclusively, based on the available evidence, that Stoic logic was far more than a mere proposit...