Adimen-SUMO v2.6

Handle:	https://hdl.handle.net/21.11129/0000-000D-FE9A-8 (persistent URL to this page)
URL:	http://lrec2018.lrec-conf.org/sharedlrs2018/308_res_1.zip

Adimen-SUMO is an off-the-shelf first-order ontology that has been obtained by reengineering out of the 88% of SUMO (Suggested Upper Merged Ontology). Adimen-SUMO can be used appropriately by FO theorem provers (like E-Prover or Vampire) for formal reasoning.

Download

DistributionLicence

CC - BY

Restrictions: Attribution

Contact Person

Javier Alvez

University of the Basque Country (UPV/EHU)

[javascript protected email address]

Barrio Sarriena, s/n, 48940 Leioa, BI, Espanha

Espanha

LoRea Group

Espanha

[javascript protected email address]

Lexical Conceptual Resource
text

Lexical Conceptual Resource General Information

Ontology

Monolingual text lexicalConceptualResourceLanguages

English

Linguality

Linguality type: Monolingual

Size

4,000 Rules

Metadata

Created: 10/01/2020

Last Updated: 11/09/2020

Metadata Creator

Andrea Teixeira Female

University of Lisbon

[javascript protected email address]

Campo Grande

1749-016 Lisboa

Lisboa

Portugal

Tel.: 00350 217 500 000

Faculty of Sciences of the University of Lisbon

Campo Grande

1749-016 Lisboa

Lisboa

Portugal

[javascript protected email address]

Tel.: 00350 217 500 000

Documentation

Document Type: In Proceedings

Javier Alvez, Itziar Gonzalez-Dios and German Rigau, Cross-checking WordNet and SUMO Using Meronymy, , 2018

Editor: Nicoletta Calzolari, Khalid Choukri, Christopher Cieri,Thierry Declerck, Sara Goggi, Koiti Hasida, Hitoshi Isahara, Bente Maegaard, Joseph Mariani, Hélène Mazo, Asuncion Moreno, Jan Odijk, Stelios Piperidis and Takenobu Tokunaga

Publisher: European Language Resources Association (ELRA)

Book Title: Proceedings of the Eleventh International Conference on Language Resources and Evaluation (LREC 2018)

ISBN: 979-10-95546-00-9

Document Language: English

People who looked at this resource also viewed the following: