Embedding ontologies in the description logic ALC by axis-aligned cones
From MaRDI portal
Publication:6535400
Recommendations
- Learning with cone-based geometric models and orthologics
- Multi-label learning with a cone-based geometric model
- Knowledge graph embeddings with ontologies: reification for representing arbitrary relations
- \({\mathcal{ALC}_\mathcal{ALC}}\): a context description logic
- AI*IA 2005: Advances in Artificial Intelligence
Cites work
- A coinductive calculus of streams
- An epistemic operator for description logics
- Attributive concept descriptions with complements
- Axioms for lattices and Boolean algebras
- Boolean Algebras with Operators
- Boolean Algebras with Operators. Part I
- Generalized ortho negation
- Grundzüge der Systemenkalküls I
- scientific article; zbMATH DE number 1936671 (Why is no real title available?)
- scientific article; zbMATH DE number 2107836 (Why is no real title available?)
- scientific article; zbMATH DE number 5037197 (Why is no real title available?)
- Learning and reasoning with logic tensor networks
- Learning with cone-based geometric models and orthologics
- Logic tensor networks
- Model theory.
- Multi-label learning with a cone-based geometric model
- Ontology reasoning with deep neural networks
- Partially Ordered Sets
- Reasoning with incomplete information in generalized Galois logics without distribution: the case of negation and modal operators
- Semantic analysis of orthologic
- The well-founded semantics for general logic programs
- Theorie der einfachen Ungleichungen.
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)
