Cones, Negation, and All That

Özgür Lütfü Özçep*, Mena Leemhuis, Diedrich Wolter

*Corresponding author for this work


This paper summarizes results on embedding ontologies expressed in the ALC description logic into a real-valued vector space, comprising restricted existential and universal quantifiers, as well as concept negation and concept disjunction. The main result states that an ALC ontology is satisfiable in the classical sense iff it is satisfiable by a partial faithful geometric model based on cones. The line of work to which we contribute aims to integrate knowledge representation techniques and machine learning. The new cone-model of ALC proposed in this work gives rise to conic optimization techniques for machine learning, extending previous approaches by its ability to model full ALC. This is an extended abstract of the paper “Cone Semantics for Logics with Negation” to be published in the proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI 2020).

Original languageEnglish
Title of host publicationKI 2020: KI 2020: Advances in Artificial Intelligence
EditorsUte Schmid, Franziska Klügl, Diedrich Wolter
Number of pages5
Volume12325 LNAI
PublisherSpringer, Cham
Publication date09.09.2020
ISBN (Print)978-3-030-58284-5
ISBN (Electronic)978-3-030-58285-2
Publication statusPublished - 09.09.2020
Event43rd German Conference on Artificial Intelligence
- Bamberg, Germany
Duration: 21.09.202025.09.2020
Conference number: 245059

Research Areas and Centers

  • Centers: Center for Artificial Intelligence Luebeck (ZKIL)
  • Research Area: Intelligent Systems


Dive into the research topics of 'Cones, Negation, and All That'. Together they form a unique fingerprint.

Cite this