Automatically Extracting OWL Versions of FOL Ontologies
Automatically Extracting OWL Versions of FOL Ontologies is a scholarly work, published in 2021 in ''The Semantic Web – ISWC 2021: 20th International Semantic Web Conference, ISWC 2021, Virtual Event, October 24–28, 2021, Proceedings''. The main subjects of the publication include computer science, artificial intelligence, ontology language, ontology, statistical machine translation, Resource Description Framework, natural language processing, Web Ontology Language, OWL-S, Social Semantic Web, undecidable problem, description logic, Ontology Inference Layer, programming language, Semantic Web, Semantic Web Rule Language, and information retrieval. While OWL and RDF are by far the most popular logic-based languages for Semantic Web Ontologies, some well-designed ontologies are only available in languages with a much richer expressivity, such as first-order logic (FOL) or the ISO standard Common Logic.