New algorithm simplifies complex OWL class expressions for better reasoning

Researchers have developed a novel algorithm called Class Expression Simplifier (CES) to reduce the complexity of OWL class expressions used in knowledge representation. CES applies theoretically grounded simplification principles to make these expressions more human-readable and easier to reason over without altering their formal semantics. Implemented in the open-source Python framework OWLAPy, CES has demonstrated improvements in reasoning efficiency and reductions in verbosity when tested on medium-sized ontologies, contributing to more accessible and scalable ontology-driven applications. AI

IMPACT Improves the efficiency and accessibility of knowledge graph construction and semantic search applications.

RANK_REASON Academic paper detailing a new algorithm and its implementation. [lever_c_demoted from research: ic=1 ai=1.0]

Read on arXiv cs.AI →

• alphaXiv
• arXiv
• CatalyzeX Code Finder for Papers
• Class Expression Simplifier
• Connected Papers
• CORE Recommender
• DagsHub
• description logic
• Gotit.pub
• Hugging Face
• Litmaps
• OWLAPy
• Python
• ScienceCast
• scite Smart Citations

• paper
• other

AI-generated summary · Google Gemini · from 1 sources. How we write summaries →