Vol-2953⫷ Vol-2954 ⫸Vol-2955
urn:nbn:de:0074-2954-0


Vol-2954/paper-25⫷Vol-2954/paper-26⫸Vol-2954/paper-27

Revising Ontologies via Models: The ALC-formula Case