Reasoning Using Knots

DOI10.1007/978-3-540-89439-1_27zbMath1182.68276OpenAlexW1529147315MaRDI QIDQ5505568

Thomas Eiter, Magdalena Ortiz, Mantas Šimkus

Publication date: 27 January 2009

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-89439-1_27

Mathematics Subject Classification ID

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

Related Items (2)

Conjunctive query answering in the description logic \(\mathcal S \mathcal H\) using knots ⋮ Query Answering in Description Logics: The Knots Approach

This page was built for publication: Reasoning Using Knots