Reference Hub

This research has been cited in:

Article
Cognitive Reasoning: A Personal ViewKI - Künstliche Intelligenz10.1007/s13218-019-00603-3
Article
Using ConceptNet to Teach Common Sense to an Automated Theorem ProverElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.311.3
Conference
Evaluating the Competency of a First-Order OntologyProceedings of the 8th International Conference on Knowledge Capture10.1145/2815833.2816946
Chapter
Commonsense Reasoning Using Theorem Proving and Machine LearningMachine Learning and Knowledge Extraction10.1007/978-3-030-29726-8_25
Chapter
Negation in Cognitive ReasoningKI 2021: Advances in Artificial Intelligence10.1007/978-3-030-87626-5_16
Conference
Improving the Competency of First-Order OntologiesProceedings of the 8th International Conference on Knowledge Capture10.1145/2815833.2815841
Article
Predicate Matrix: automatically extending the semantic interoperability between predicate resourcesLanguage Resources and Evaluation10.1007/s10579-016-9348-5
Article
The CoRg Project: Cognitive ReasoningKI - Künstliche Intelligenz10.1007/s13218-019-00601-5
Chapter
Associative Reasoning for Commonsense KnowledgeKI 2023: Advances in Artificial Intelligence10.1007/978-3-031-42608-7_14
Article
Improving quality of software product line by analysing inconsistencies in feature models using an ontological rule‐based approachExpert Systems10.1111/exsy.12256
Article
Automatic white-box testing of first-order logic ontologiesJournal of Logic and Computation10.1093/logcom/exz001
Chapter
Commonsense Reasoning and Explainable Artificial Intelligence Using Large Language ModelsArtificial Intelligence. ECAI 2023 International Workshops10.1007/978-3-031-50396-2_17
Conference
WordNet Hierarchy Axiomatization and the Mass-Count Distinction2013 IEEE Seventh International Conference on Semantic Computing10.1109/ICSC.2013.31
Article
Analyzing inconsistencies in software product lines using an ontological rule-based approachJournal of Systems and Software10.1016/j.jss.2017.06.002
Article
The Higher-Order Prover Leo-IIJournal of Automated Reasoning10.1007/s10817-015-9348-y
Chapter
Names Are Not Just Sound and Smoke: Word Embeddings for Axiom SelectionAutomated Deduction – CADE 2710.1007/978-3-030-29436-6_15
Article
Large-Scale Commonsense Knowledge for Default Logic ReasoningSN Computer Science10.1007/s42979-023-01963-2
Chapter
Ontology of Rhetorical Figures for SerbianText, Speech, and Dialogue10.1007/978-3-642-40585-3_49
Article
A Framework for the Evaluation of SUMO-Based Ontologies Using WordNetIEEE Access10.1109/ACCESS.2019.2904835

Adimen-SUMO: Reengineering an Ontology for First-Order Reasoning

Javier Àlvez, Paqui Lucio, German Rigau

Source Title: International Journal on Semantic Web and Information Systems (IJSWIS)8(4)

ISSN: 1552-6283|EISSN: 1552-6291|EISBN13: 9781466614888|DOI: 10.4018/jswis.2012100105

Cite Article Cite Article

MLA

Àlvez, Javier, et al. "Adimen-SUMO: Reengineering an Ontology for First-Order Reasoning." IJSWIS vol.8, no.4 2012: pp.80-116. http://doi.org/10.4018/jswis.2012100105

APA

Àlvez, J., Lucio, P., & Rigau, G. (2012). Adimen-SUMO: Reengineering an Ontology for First-Order Reasoning. International Journal on Semantic Web and Information Systems (IJSWIS), 8(4), 80-116. http://doi.org/10.4018/jswis.2012100105

Chicago

Àlvez, Javier, Paqui Lucio, and German Rigau. "Adimen-SUMO: Reengineering an Ontology for First-Order Reasoning," International Journal on Semantic Web and Information Systems (IJSWIS) 8, no.4: 80-116. http://doi.org/10.4018/jswis.2012100105

Export Reference

Favorite Full-Issue Download

View Full Text HTML

View Full Text PDF

Abstract

In this paper, the authors present Adimen-SUMO, an operational ontology to be used by first-order theorem provers in intelligent systems that require sophisticated reasoning capabilities (e.g. Natural Language Processing, Knowledge Engineering, Semantic Web infrastructure, etc.). Adimen-SUMO has been obtained by automatically translating around 88% of the original axioms of SUMO (Suggested Upper Merged Ontology). Their main interest is to present in a practical way the advantages of using first-order theorem provers during the design and development of first-order ontologies. First-order theorem provers are applied as inference engines for reengineering a large and complex ontology in order to allow for formal reasoning. In particular, the authors’ study focuses on providing first-order reasoning support to SUMO. During the process, they detect, explain and repair several important design flaws and problems of the SUMO axiomatization. As a by-product, they also provide general design decisions and good practices for creating operational first-order ontologies of any kind.

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.

Username or email: *

Password: *

Forgot individual login password?

Create individual account

Adimen-SUMO: Reengineering an Ontology for First-Order Reasoning

MLA

APA

Chicago

Export Reference

Abstract

Request Access