Matching with Respect to General Concept Inclusions in the Description Logic

Franz Baader, Barbara Morawska

Browse the full KI paper archive.