article

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

Authors:

German RigauAuthors Info & Claims

International Journal on Semantic Web & Information Systems, Volume 8, Issue 4

Pages 80 - 116

https://doi.org/10.4018/jswis.2012100105

Published: 01 October 2012 Publication History

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.

References

[1]

Abadi, M. 1989. The power of temporal proofs. Theoretical Computer Science, 651, 35-83.

Digital Library

[2]

Allen, J. F. 1984. Towards a general theory of action and time. Artificial Intelligence, 23, 123-154.

Digital Library

[3]

Álvez, J., Atserias, J., Carrera, J., Climent, S., Laparra, E., & Oliver, A. 2008. Complete and consistent annotation of WordNet using the Top Concept Ontology. In N. Calzolari et al. Eds., Proceedings of the 6th International Language Resources and Evaluation LREC 2008 pp. 1529-1534. European Language Resources Association ELRA.

[4]

Andréka, H., Németi, I., & van Benthem, J. 1998. Modal languages and bounded fragments of predicate logic. Journal of Philosophical Logic, 27, 217-274.

[5]

Atserias, J., Rigau, G., & Villarejo, L. 2004. Spanish WordNet 1.6: Porting the Spanish WordNet across Princeton versions. In N. Calzolari et al. Eds., Proceedings of the 4th International Conference on Language Resources and Evaluation LREC 2004 pp. 161-164. European Language Resources Association ELRA.

[6]

Auer, S., Bizer, C., Kobilarov, G., Lehmann, J., Cyganiak, R., & Ives, Z. 2007. DBpedia: A nucleus for a web of open data. In K. Aberer et al. Eds., The Semantic Web - Proceedings of the 6th International Semantic Web Conference ISWC 2007 and the 2nd Asian Semantic Web Conference ASWC 2007 Vol. 4825, pp. 722-735. Springer Berlin Heidelberg.

[7]

Baumgartner, P., Fuchs, A., & Tinelli, C. 2006. Implementing the model evolution calculus. International Journal of Artificial Intelligence Tools, 151, 21-52.

[8]

Baumgartner, P., & Suchanek, F. 2006. Automated reasoning support for first-order ontologies. In J. Alferes, J. Bailey, W. May, & U. Schwertel Eds., Principles and practice of semantic web reasoning Vol. 4187, pp. 18-32. Springer Berlin Heidelberg.

[9]

Bentivogli, L., Forner, P., Magnini, B., & Pianta, E. 2004. Revising the WordNet domains hierarchy: Semantics, coverage and balancing. In G. Séérasset, S. Armstrong, C. Boitet, A. Popescu-Belis, & D. Tufis Eds., Proceedings of the Workshop on Multilingual Linguistic Ressources MLR 2004 pp. 94-101. Association for Computational Linguistics.

[10]

Benzmüller, C., & Pease, A. 2012. Higher-order aspects and context in SUMO. Web Semantics: Science . Services and Agents on the World Wide Web, 12-13, 104-117.

[11]

Bizer, C., Heath, T., & Berners-Lee, T. 2009. Linked data - the story so far. International Journal on Semantic Web and Information Systems, 53, 1-22.

[12]

Bizer, C., Lehmann, J., Kobilarov, G., Auer, S., Becker, C., & Cyganiak, R. 2009. DBpedia - A crystallization point for the web of data. Web Semantics: Science . Services and Agents on the World Wide Web, 73, 154-165.

Digital Library

[13]

Borgo, S., Guarino, N., & Masolo, C. 1996. A pointless theory of space based on strong connection and congruence. In L. C. Aiello, J. Doyle, & S. C. Shapiro Eds., Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning KR'96 pp. 220-229. Morgan Kaufmann.

[14]

Borgo, S., Guarino, N., & Masolo, C. 1997. An ontological theory of physical objects. In L. Ironi Ed., Proceedings of 11th International Workshop on Qualitative Reasoning QR'97 pp. 223-231.

[15]

Chandrasekaran, B., Josephson, J. R., & Benjamins, V. R. 1999. What are ontologies, and why do we need them? IEEE Intelligent Systems, 141, 20-26.

Digital Library

[16]

Claessen, K., & Söörensson, N. 2003. New techniques that improve MACE-style model finding. In Proceedings of Workshop on Model Computation MODEL 2003.

[17]

Cohen, P. R., & Levesque, H. J. 1990. Persistence, intention, and commitment. In Cohen, P. R., Morgan, J., & Pollack, M. E. Eds., Intentions in communication pp. 33-69. Cambridge, MA: MIT Press.

[18]

d'Aquin, M., & Noy, N. F. 2012. Where to publish and find ontologies? A survey of ontology libraries. Web Semantics: Science . Services and Agents on the World Wide Web, 11, 96-111.

Digital Library

[19]

Feferman, S. 1962. Transfinite recursive progressions of axiomatic theories. The Journal of Symbolic Logic, 273, 259-316.

[20]

Fellbaum, C. Ed. 1998. WordNet: An electronic lexical database. Cambridge, MA: MIT Press.

[21]

Gangemi, A., Guarino, N., Masolo, C., Oltramari, A., & Schneider, L. 2002. Sweetening ontologies with DOLCE. In A. Góómez-Pérez & V. R. Benjamins Eds., Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web EKAW 2002 Vol. 2473, pp. 166-181. Berlin, Germany: Springer Berlin Heidelberg.

[22]

Genesereth, M. R., Fikes, R. E., Brobow, D., Brachman, R., Gruber, T., & Hayes, P. 1992. Knowledge interchange format version 3.0 reference manual Tech. Rep. No. Logic-92-1. Stanford University, Computer Science Department, Logic Group, Stanford, CA.

[23]

Gonzalez-Agirre, A., Laparra, E., & Rigau, G. 2012a. Multilingual central repository version 3.0. In N. Calzolari et al. Eds., Proceedings of the 8th International Conference on Language Resources and Evaluation LREC 2012 pp. 2525-2529. European Language Resources Association ELRA.

[24]

Gonzalez-Agirre, A., Laparra, E., & Rigau, G. 2012b. Multilingual central repository version 3.0: Upgrading a very large lexical knowledge base. In C. Fellbaum & P. Vossen Eds., Proceedings of the 6th Global WordNet Conference GWC 2012.

[25]

Gruber, T. 2009. Ontology. In Liu, L., & ÖÖzsu, M. T. Eds., Encyclopedia of database systems pp. 1963-1965. Springer, US.

[26]

Harabagiu, S. M., & Moldovan, D. I. 1998. Knowledge processing on an extended WordNet. In Fellbaum, C. Ed., Transfinite recursive progressions of axiomatic theories pp. 379-405. Cambridge, MA: MIT Press.

[27]

Hayes, P., & Menzel, C. 2001. A semantics for the knowledge interchange format. In Proceedings of IJCAI 2001 Workshop on the IEEE Standard Upper Ontology.

[28]

Henkin, L. 1950. Completeness in the theory of types. The Journal of Symbolic Logic, 152, 81-91.

[29]

Hoder, K., & Voronkov, A. 2011. Sine qua non for large theory reasoning. In N. Bjøørner & V. Sofronie-Stokkermans Eds., Proceedings of the 23rd International Conference on Automated Deduction CADE-23 Vol. 6803, pp. 299-314. Berlin, Germany: Springer Berlin Heidelberg.

[30]

Hoffart, J., Suchanek, F. M., Berberich, K., Lewis-Kelham, E., de Melo, G., & Weikum, G. 2011. YAGO2: Exploring and querying world knowledge in time, space, context, and many languages. In S. Srinivasan, K. Ramamritham, A. Kumar, M. P. Ravindra, E. Bertino, & R. Kumar Eds., Proceedings of the 20th International Conference Companion on World Wide Web WWW 2011 pp. 229-232. New York, NY, USA: ACM.

[31]

Hoffart, J., Suchanek, F. M., Berberich, K., & Weikum, G. 2013. YAGO2: A spatially and temporally enhanced knowledge base from Wikipedia. Artificial Intelligence, 194, 28-61.

Digital Library

[32]

Horrocks, I., & Patel-Schneider, P. 2004. Reducing OWL entailment to description logic satisfiability. Web Semantics: Science . Services and Agents on the World Wide Web, 14, 345-357.

Digital Library

[33]

Horrocks, I., & Voronkov, A. 2006. Reasoning support for expressive ontology languages using a theorem prover. In J. Dix & S. J. Hegner Eds., Proceedings of the 4th International Symposium in Foundations of Information and Knowledge Systems FoIKS 2006 Vol. 3861, pp. 201-218. Berlin, Germany: Springer Berlin Heidelberg.

[34]

ISO/IEC International Standard. 2007. Information technology - Common logic CL: A framework for a family of logic-based languages No. ISO/IEC 24707:2007E.

[35]

Jain, P., Hitzler, P., Sheth, A., Verma, K., & Yeh, P. 2010. Ontology alignment for Linked Open Data. In P. Patel-Schneider et al. Eds., The Semantic Web - Proceedings of the 9th International Semantic Web Conference ISWC 2010 Vol. 6496, pp. 402-417. Berlin, Germany: Springer Berlin Heidelberg.

[36]

Jain, P., Hitzler, P., Yeh, P. Z., Verma, K., & Sheth, A. P. 2010. Linked data is merely more data. In D. Brickley, V. K. Chaudhri, H. Halpin, & D. McGuinness Eds., Proceedings of the AAAI Spring Symposium: Linked Data Meets Artificial Intelligence pp. 82-86. Menlo Park, CA: AAAI Press.

[37]

Keisler, H. J. 1971. Model theory for infinitary logic: Logic with countable conjunctions and finite quantifiers: Vol. 62. Studies in Logic and the Foundations of Mathematics. Amsterdam, The Netherlands: North-Holland Pub. Co.

[38]

Kobilarov, G., Bizer, C., Auer, S., & Lehmann, J. 2009. DBpedia - A linked data hub and data source for web applications and enterprises. In R. Daruwala & C. Yu Eds., Proceedings of Developers Track of the 18th International World Wide Web Conference WWW 2009.

[39]

Korovin, K. 2008. iProver - an instantiation-based theorem prover for first-order logic system description. In A. Armando, P. Baumgartner, & G. Dowek Eds., Proceedings of the 4th International Joint Conference on Automated Reasoning IJCAR 2008 Vol. 5195, pp. 292-298. Berlin, Germany: Springer Berlin Heidelberg.

[40]

Kutz, O., & Mossakowski, T. 2011. A modular consistency proof for DOLCE. In W. Burgard & D. Roth Eds., Proceedings of the 25th AAAI Conference on Artificial Intelligence AAAI 2011. Menlo Park, CA: AAAI Press.

[41]

Magnini, B., & Cavagliíí, G. 2000. Integrating subject field codes into WordNet. In A. Zampolli et al. Eds., Proceedings of the 2nd International Conference on Language Resources and Evaluation LREC 2000 pp. 1413-1418. European Language Resources Association ELRA.

[42]

Manzano, M. 1996. Extensions of first-order logic No. 19 Cambridge Tracts in Theoretical Computer Science. Cambridge, UK: Cambridge University Press.

[43]

Matuszek, C., Cabral, J., Witbrock, M. J., & DeOliveira, J. 2006. An introduction to the syntax and content of Cyc. In C. Baral Ed., Proceedings of the AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering pp. 44-49. Menlo Park, CA: AAAI Press.

[44]

McCune, W. 2001. Mace 2.0 reference manual and guide Tech. Rep. No. ANL/MCS-TM-249. Mathematics and Computer Science Division, Argonne National Laboratory, Lemont, IL.

[45]

McCune, W., & Wos, L. 1997. Otter - the CADE-13 competition incarnations. Journal of Automated Reasoning, 18, 211-220.

[46]

Menzel, C., & Hayes, P. 2003. SCL: A logic standard for semantic integration. In A. Doan, A. Halevey, & N. Noy Eds., Proceedings of the Semantic Integration Workshop Vol. 82. CEUR-WS.org.

[47]

Mossakowski, T., Maeder, C., & Lüüttich, K. 2007. The heterogeneous tool set, hets. In O. Grumberg & M. Huth Eds., Proceedings of the 13th International Conference in Tools and Algorithms for the Construction and Analysis of Systems TACAS 2007 Vol. 4424, pp. 519-522. Berlin, Germany: Springer Berlin Heidelberg.

[48]

Motik, B., Shearer, R., & Horrocks, I. 2009. Hypertableau reasoning for description logics. Journal of Artificial Intelligence Research, 361, 165-228.

[49]

Niles, I., & Pease, A. 2001a. Origins of the IEEE standard upper ontology. In Working Notes of the Workshop on the IEEE Standard Upper Ontology IJCAI 2001 pp. 37-42.

[50]

Niles, I., & Pease, A. 2001b. Towards a standard upper ontology. In N. Guarino, C. Welty, & B. Smith Eds., Proceedings of the 2nd International Conference on Formal Ontology in Information Systems FOIS 2001 pp. 2-9. New York, NY: ACM.

[51]

Niles, I., & Pease, A. 2003. Linking lexicons and ontologies: Mapping WordNet to the suggested upper merged ontology. In H. R. Arabnia Ed., Proceedings of the IEEE International Conference on Information and Knowledge Engineering IKE 2003 Vol. 2, pp. 412-416. CSREA Press.

[52]

Noy, N. F., & McGuinness, D. L. 2001. Ontology development 101: A guide to creating your first ontology Tech. Rep. No. KSL-01-05 and SMI-2001-0880.: Stanford Knowledge Systems Laboratory and Stanford Medical Informatics, Stanford, CA.

[53]

Oberle, D., Ankolekar, A., Hitzler, P., Cimiano, P., Sintek, M., & Kiesel, M. 2007. DOLCE ergo SUMO: On foundational and domain models in the SmartWeb integrated ontology SWIntO. Web Semantics: Science . Services and Agents on the World Wide Web, 53, 156-174.

Digital Library

[54]

Pease, A. 2009. Standard upper ontology knowledge interchange format. Retrieved June 18, 2009, from http://sigmakee.cvs.sourceforge.net/*checkout*/sigmakee/sigma/suo-kif.pdf

[55]

Pease, A., & Fellbaum, C. 2010. Formal ontology as interlingua: The SUMO and WordNet linking project and global WordNet. In Huang, C., Calzolari, N., Gangemi, A., Lenci, A., Oltramari, A., & Prevot, L. Eds., Ontology and the lexicon - A natural language processing perspective pp. 25-35. Cambridge, UK: Cambridge University Press.

[56]

Pease, A., & Sutcliffe, G. 2007. First-order reasoning on a large ontology. In G. Sutcliffe, J. Urban, & S. Schulz Eds., Proceedings of the Workshop on Empirically Successful Automated Reasoning in Large Theories CADE-21 Vol. 257. CEUR-WS.org.

[57]

Pelletier, F., Sutcliffe, G., & Suttner, C. 2002. The development of CASC. AI Communications, 152-3, 79-90.

[58]

Ramachandran, D., Reagan, R. P., & Goolsbey, K. 2005. First-orderized ResearchCyc: Expressivity and efficiency in a common-sense ontology. In P. Shvaiko, J. Euzenat, A. Leger, D. L. McGuinness, & H. Wache Eds., In Proceedings of the AAAI 2005 Workshop on Contexts and Ontologies: Theory, Practice and Applications pp. 33-40. Menlo Park, CA: AAAI Press.

[59]

Reed, S. L., & Lenat, D. B. 2002. Mapping ontologies into Cyc. In A. Pease Ed., In Proceedings from AAAI 2002 Workshop on Ontologies For The Semantic Web pp. 1-6. Menlo Park, CA: AAAI Press.

[60]

Riazanov, A., & Voronkov, A. 2002. The design and implementation of Vampire. AI Communications, 152-3, 91-110.

[61]

Schlicht, A., & Stuckenschmidt, H. 2007. Criteria-based partitioning of large ontologies. In D. H. Sleeman & K. Barker Eds., Proceedings of the 4th International Conference on Knowledge Capture K-CAP 2007 pp. 171-172. New York, NY: ACM.

[62]

Schneider, M. Ed. 2009. OWL 2 web ontology language RDF-based semantics. Retrieved October 27, 2009, from http://www.w3.org/TR/owl2-rdf-based-semantics/

[63]

Schneider, M., & Sutcliffe, G. 2011. Reasoning in the OWL2 full ontology language using first-order automated theorem proving. In N. Bjøørner & V. Sofronie-Stokkermans Eds., Proceedings of the 23rd International Conference on Automated Deduction CADE-23 Vol. 6803, pp. 461-475. Berlin, Germany: Springer Berlin Heidelberg.

[64]

Schulz, S. 2002. E - A brainiac theorem prover. AI Communications, 152-3, 111-126.

[65]

Sirin, E., Parsia, B., Grau, B. C., Kalyanpur, A., & Katz, Y. 2007. Pellet: A practical OWL-DL reasoner. Web Semantics: Science . Services and Agents on the World Wide Web, 52, 51-53.

Digital Library

[66]

Sowa, J. F. 2000. Knowledge representation: Logical, philosophical, and computational foundations. Pacific Grove, CA: Brooks Cole Publishing Co.

[67]

Staab, S., & Studer, R. Eds. 2009. Handbook on ontologies 2nd ed. Berlin, Germany: Springer.

[68]

Streeter, M. J., Golovin, D., & Smith, S. F. 2007. Combining multiple heuristics online. In R. C. Holte & A. Howe Eds., Proceedings of the 22nd AAAI Conference on Artificial Intelligence Vol. 2, pp. 1197-1203. Menlo Park, CA: AAAI Press.

[69]

Stuckenschmidt, H., & Schlicht, A. 2009. Structure-based partitioning of large ontologies. In Stuckenschmidt, H., Parent, C., & Spaccapietra, S. Eds., Modular ontologies: Concepts, theories and techniques for knowledge modularization Vol. 5445, pp. 187-210. Berlin, Germany: Springer Berlin Heidelberg.

[70]

Suchanek, F. M., Kasneci, G., & Weikum, G. 2007. Yago: A core of semantic knowledge. In C. L. Williamson, M. E. Zurko, P. F. Patel-Schneider, & P. J. Shenoy Eds., Proceedings of the 16th International World Wide Web Conference WWW 2007 pp. 697-706. New York, NY: ACM.

[71]

Sutcliffe, G. 2009. The TPTP problem library and associated infrastructure. Journal of Automated Reasoning, 434, 337-362.

Digital Library

[72]

Sutcliffe, G., & Benzmüüller, C. 2010. Automated reasoning in higher-order logic using the TPTP THF infrastructure. Journal of Formalized Reasoning, 31, 1-27.

[73]

Sutcliffe, G., & Suttner, C. 2006. The state of CASC. AI Communications, 191, 35-48.

[74]

Tsarkov, D., & Horrocks, I. 2006. FaCT++ description logic reasoner: system description. In U. Furbach & N. Shankar Eds., Proceedings of the 3rd International Joint Conference on Automated Reasoning IJCAR 2006 Vol. 4130, pp. 292-297. Berlin, Germany: Springer Berlin Heidelberg.

[75]

Tsarkov, D., Riazanov, A., Bechhofer, S., & Horrocks, I. 2004. Using Vampire to reason with OWL. In S. A. McIlraith, D. Plexousakis, & F. Harmelen Eds., Proceedings of the 3rd International Semantic Web Conference ISWC 2004 Vol. 3298, pp. 471-485. Berlin, Germany: Springer Berlin Heidelberg.

[76]

Verdezoto, N., & Vieu, L. 2011. Towards semi-automatic methods for improving WordNet. In J. Bos & S. Pulman Eds., Proceedings of the 9th International Conference on Computational Semantics IWCS 2011 pp. 275-284. Portland, OR: Association for Computational Linguistics.

[77]

Vossen, P. 1998. EuroWordNet: A multilingual database with lexical semantic networks. Norwell, MA: Kluwer Academic Publishers.

Cited By

Jakobs OSchon C(2024)Context-Specific Selection of Commonsense Knowledge Using Large Language ModelsKI 2024: Advances in Artificial Intelligence10.1007/978-3-031-70893-0_16(218-231)Online publication date: 25-Sep-2024
https://dl.acm.org/doi/10.1007/978-3-031-70893-0_16
Järv PTammet TVerrev MDraheim D(2023)Large-Scale Commonsense Knowledge for Default Logic ReasoningSN Computer Science10.1007/s42979-023-01963-24:5Online publication date: 29-Jul-2023
https://dl.acm.org/doi/10.1007/s42979-023-01963-2
Schon C(2023)Associative Reasoning for Commonsense KnowledgeKI 2023: Advances in Artificial Intelligence10.1007/978-3-031-42608-7_14(170-183)Online publication date: 26-Sep-2023
https://dl.acm.org/doi/10.1007/978-3-031-42608-7_14
Show More Cited By

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

Recommendations

Pay-as-you-go consequence-based reasoning for the description logic SROIQ
Abstract
Consequence-based (CB) reasoners combine ideas from resolution and (hyper)tableau calculi for solving key reasoning problems in Description Logics (DLs), such as ontology classification. Existing CB reasoners, however, are only capable ...
(Non-)Succinctness of uniform interpolants of general terminologies in the description logic EL

EL is a popular description logic, used as a core formalism in large existing knowledge bases. Uniform interpolants of knowledge bases are of high interest, e.g. in scenarios where a knowledge base is supposed to be partially reused. However, to the ...
Formalization of the Resolution Calculus for First-Order Logic

I present a formalization in Isabelle/HOL of the resolution calculus for first-order logic with formal soundness and completeness proofs. To prove the calculus sound, I use the substitution lemma, and to prove it complete, I use Herbrand interpretations ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image International Journal on Semantic Web & Information Systems

International Journal on Semantic Web & Information Systems Volume 8, Issue 4

October 2012

116 pages

ISSN:1552-6283

EISSN:1552-6291

Issue’s Table of Contents

Publisher

IGI Global

United States

Publication History

Published: 01 October 2012

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

8
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 05 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Jakobs OSchon C(2024)Context-Specific Selection of Commonsense Knowledge Using Large Language ModelsKI 2024: Advances in Artificial Intelligence10.1007/978-3-031-70893-0_16(218-231)Online publication date: 25-Sep-2024
https://dl.acm.org/doi/10.1007/978-3-031-70893-0_16
Järv PTammet TVerrev MDraheim D(2023)Large-Scale Commonsense Knowledge for Default Logic ReasoningSN Computer Science10.1007/s42979-023-01963-24:5Online publication date: 29-Jul-2023
https://dl.acm.org/doi/10.1007/s42979-023-01963-2
Schon C(2023)Associative Reasoning for Commonsense KnowledgeKI 2023: Advances in Artificial Intelligence10.1007/978-3-031-42608-7_14(170-183)Online publication date: 26-Sep-2023
https://dl.acm.org/doi/10.1007/978-3-031-42608-7_14
Siebert SSchon CStolzenburg F(2019)Commonsense Reasoning Using Theorem Proving and Machine LearningMachine Learning and Knowledge Extraction10.1007/978-3-030-29726-8_25(395-413)Online publication date: 26-Aug-2019
https://dl.acm.org/doi/10.1007/978-3-030-29726-8_25
Furbach UKrämer TSchon C(2019)Names Are Not Just Sound and Smoke: Word Embeddings for Axiom SelectionAutomated Deduction – CADE 2710.1007/978-3-030-29436-6_15(250-268)Online publication date: 27-Aug-2019
https://dl.acm.org/doi/10.1007/978-3-030-29436-6_15
Lopez De Lacalle MLaparra EAldabe IRigau G(2016)Predicate MatrixLanguage Resources and Evaluation10.1007/s10579-016-9348-550:2(263-289)Online publication date: 1-Jun-2016
https://dl.acm.org/doi/10.1007/s10579-016-9348-5
Álvez JLucio PRigau GBarker KGómez-Pérez J(2015)Evaluating the Competency of a First-Order OntologyProceedings of the 8th International Conference on Knowledge Capture10.1145/2815833.2816946(1-4)Online publication date: 7-Oct-2015
https://dl.acm.org/doi/10.1145/2815833.2816946
Álvez JLucio PRigau GBarker KGómez-Pérez J(2015)Improving the Competency of First-Order OntologiesProceedings of the 8th International Conference on Knowledge Capture10.1145/2815833.2815841(1-8)Online publication date: 7-Oct-2015
https://dl.acm.org/doi/10.1145/2815833.2815841
Benzmuller CSultana NPaulson LTheiB F(2015)The Higher-Order Prover Leo-IIJournal of Automated Reasoning10.1007/s10817-015-9348-y55:4(389-404)Online publication date: 1-Dec-2015
https://dl.acm.org/doi/10.1007/s10817-015-9348-y

View Options

View options

Figures

Tables

Media

View Issue’s Table of Contents