Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\)

DOI10.1007/s10472-016-9524-8zbMath1398.68501OpenAlexW2526614304MaRDI QIDQ1653445

Rafael Peñaloza, Manfred Eppe, Marco Schorlemmer, Roberto Confalonieri, Oliver Kutz, Enric Plaza

Publication date: 6 August 2018

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-016-9524-8

zbMATH Keywords

description logicanswer set programmingcomputational creativityconceptual blending

Mathematics Subject Classification ID

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

Related Items (2)

Towards a model of creative understanding: deconstructing and recreating conceptual blends using image schemas and qualitative spatial descriptors ⋮ Blending under deconstruction. The roles of logic, ontology, and cognition in computational concept invention

Uses Software

• Maude
• Clingo
• OntoDLV

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Similarity measures over refinement graphs
• Approximate postdictive reasoning with answer set programming
• Concept learning in description logics using refinement operators
• Using possibilistic logic for modeling qualitative decision: answer set programming algorithms
• Computing the least common subsumer w.r.t. a background terminology
• Combining answer set programming with description logics for the semantic web
• Approximate Epistemic Planning with Postdiction as Answer-Set Programming
• Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming
• OntoDLV: An ASP-based System for Enterprise Ontologies
• ASP, Amalgamation, and the Conceptual Blending Workflow
• Ideal Downward Refinement in the $\mathcal{EL}$ Description Logic
• Unification in the Description Logic $\mathcal{EL}$
• Completeness and properness of refinement operators in inductive logic programming
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Logic Programming and Nonmonotonic Reasoning
• Graph-Theoretic Concepts in Computer Science
• Conceptual Structures for Knowledge Creation and Communication

This page was built for publication: Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\)