On Keys and Functional Dependencies as First-Class Citizens in Description Logics

DOI10.1007/11814771_52zbMath1222.68384OpenAlexW1566644791MaRDI QIDQ3613439

David Toman, Grant E. Weddell

Publication date: 12 March 2009

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11814771_52

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Decidability of theories and sets of sentences (03B25)

Related Items (2)

Semantic query optimization in the presence of types ⋮ On keys and functional dependencies as first-class citizens in description logics

This page was built for publication: On Keys and Functional Dependencies as First-Class Citizens in Description Logics