Adimen-SUMO: Reengineering an ontology for first-order reasoning
ISSN: 1552-6283, 1552-6291
Year of publication: 2012
Volume: 8
Issue: 4
Pages: 80-116
Type: Article
ISSN: 1552-6283, 1552-6291
Year of publication: 2012
Volume: 8
Issue: 4
Pages: 80-116
Type: Article