Axioms and Decidability for Type Isomorphism in the Presence of Sums.

Published in: CoRR (2014)

Keyphrases

type checking
description logics
knowledge base
query answering
similarity measure
xml documents
random variables
graph theory