Adimen-SUMO: Reengineering an ontology for first-order reasoning
ISSN: 1552-6283, 1552-6291
Datum der Publikation: 2012
Ausgabe: 8
Nummer: 4
Seiten: 80-116
Art: Artikel
ISSN: 1552-6283, 1552-6291
Datum der Publikation: 2012
Ausgabe: 8
Nummer: 4
Seiten: 80-116
Art: Artikel