Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics.
Franz Baader, Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann
Browse the full CADE paper archive.
Franz Baader, Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann
Browse the full CADE paper archive.