Living Without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions

Combination of Uniform Interpolants via Beth Definability

(2022) Diego Calvanese et al.   JOURNAL OF AUTOMATED REASONING

Logical separability of labeled data examples under ontologies

(2022) Jean Christoph Jung et al.   ARTIFICIAL INTELLIGENCE

Class expression induction as concept space exploration: From DL-Foil to DL-Focl

(2020) Giuseppe Rizzo et al.   Future Generation Computer Systems-The International Journal of eScience

Uniform interpolation and coherence

(2019) Tomasz Kowalski et al.   ANNALS OF PURE AND APPLIED LOGIC

Uniform interpolation and the existence of sequent calculi

(2019) Rosalie Iemhoff   ANNALS OF PURE AND APPLIED LOGIC

SOME MODEL THEORY OF GUARDED NEGATION

(2018) VINCE BÁRÁNY et al.   JOURNAL OF SYMBOLIC LOGIC

DL-Learner—A framework for inductive learning on the Semantic Web

(2016) Lorenz Bühmann et al.   Journal of Web Semantics

Learning in Description Logics with Fuzzy Concrete Domains

(2015) Francesca A. Lisi et al.   FUNDAMENTA INFORMATICAE

(Non-)Succinctness of uniform interpolants of general terminologies in the description logicEL

(2014) Nadeschda Nikitina et al.   ARTIFICIAL INTELLIGENCE

Foundations of instance level updates in expressive description logics

(2011) Hongkai Liu et al.   ARTIFICIAL INTELLIGENCE

Computational Generation of Referring Expressions: A Survey

(2011) Emiel Krahmer et al.   COMPUTATIONAL LINGUISTICS

APERIODIC POINTLIKES AND BEYOND

(2010) KARSTEN HENCKELL et al.   INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION

Concept learning in description logics using refinement operators

(2009) Jens Lehmann et al.   MACHINE LEARNING