Search papers, labs, and topics across Lattice.
This paper introduces the Class Expression Simplifier (CES), an algorithm designed to syntactically simplify complex OWL class expressions while preserving their formal semantics. By systematically applying rewriting rules, CES reduces redundancies and generates more compact, human-readable representations, which enhances reasoning efficiency. Evaluations on two medium-sized ontologies reveal significant improvements in both reasoning performance and expression verbosity, making ontology-driven applications more accessible and maintainable.
Simplifying OWL class expressions can enhance reasoning efficiency by reducing complexity without sacrificing formal semantics.
Class expression learning often produces complex OWL class expressions that are difficult to interpret and reason over. However, by following theoretically grounded simplification principles, this complexity can be reduced. In this paper, we propose Class Expression Simplifier (CES), a novel algorithm for the syntactic simplification of class expressions in Description Logics (DL). CES aims to preserve formal semantics while reducing representational complexity. It systematically applies rewriting rules to eliminate redundancies and identify simpler yet equivalent expressions, thereby producing more compact and human-readable representations without altering logical entailments. We evaluate the effectiveness of CES on class expressions learned from two medium-sized ontologies, demonstrating measurable improvements in reasoning efficiency and reductions in verbosity. This work contributes to the broader goal of making ontology-driven applications more accessible, maintainable, and scalable, with direct implications for knowledge graph construction, semantic search, and Web-scale reasoning. CES is implemented within the open-source Python framework OWLAPY and is publicly available.
