Embedding ontologies in the description logic \(\mathcal{ALC}\) by axis-aligned cones

DOI10.1613/jair.1.13939MaRDI QIDQ6535400

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

Publication date: 20 December 2023

Published in: The Journal of Artificial Intelligence Research (JAIR) (Search for Journal in Brave)

zbMATH Keywords

knowledge representationontologies

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Attributive concept descriptions with complements
• An epistemic operator for description logics
• Model theory.
• Semantic analysis of orthologic
• Theorie der einfachen Ungleichungen.
• Multi-label learning with a cone-based geometric model
• Learning with cone-based geometric models and orthologics
• Logic tensor networks
• Generalized ortho negation
• Ontology Reasoning with Deep Neural Networks
• Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators
• The well-founded semantics for general logic programs
• A coinductive calculus of streams
• Learning and Reasoning with Logic Tensor Networks
• Grundzüge der Systemenkalküls I
• Partially Ordered Sets
• Boolean Algebras with Operators. Part I
• Boolean Algebras with Operators

This page was built for publication: Embedding ontologies in the description logic \(\mathcal{ALC}\) by axis-aligned cones

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535400)