Login / Signup
Structural Subsumption Considered from an Automata-Theoretic Point of View.
Franz Baader
Ralf Küsters
Ralf Molitor
Published in:
Description Logics (1998)
Keyphrases
</>
automata theoretic
description logics
metadata