{'fraction_non_alphanumeric': 0.018691588785046728, 'fraction_numerical': 0.0, 'mean_word_length': 5.6371681415929205, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Automated Reasoning Support for SUMO/KIF

Formal ontologies play an increasingly important role in demanding knowledge representation applications like the Semantic Web. Although there exist extensive formal ontologies written in the Knowledge Interchange Format (KIF), such as for instance the Suggested Upper Merged Ontology (SUMO), automated reasoning support for SUMO has so far been limited. We propose a novel transformation scheme for a non-trivial subset of the KIF language that enables the meaningful application of model-generation automated reasoning systems. Our transformation features the handling of equality, the Unique Name Assumption and default values and it can be configured to guarantee the finiteness of the resulting models.