Login / Signup
A Consequence-based Algebraic Calculus for SHOQ.
Nikoo Zolfaghar Karahroodi
Volker Haarslev
Published in:
Description Logics (2017)
Keyphrases
</>
algebraic structure
computer algebra
description logics
data sets
metadata
formal language
qualitative spatial
data mining
information systems
knowledge base
image processing
evolutionary algorithm
automated theorem proving
automated deduction