Theta-Subsumption for Structural Matching.

Luc De Raedt Peter Idestam-Almquist Gunther Sablon

Published in: ECML (1997)

Keyphrases

structural matching
description logics
np complete
worst case
transitive closure
computational complexity
refinement operators
snomed ct
database
data model
knowledge representation
ontology reasoning