A Hoare-Like Calculus Using the SROIQ σ Logic on Transformations of Graphs.

Jon Haël Brenas Rachid Echahed Martin Strecker

Published in: IFIP TCS (2014)

Keyphrases

description logics
computational properties
tableau calculus
expressive description logics
natural deduction
exptime complete
sequent calculus
modal logic
knowledge representation
knowledge base
model theoretic
reasoning problems
logic programming
reasoning tasks
graph mining
graph databases
owl dl
database