2 citations · 4 across the 4 of their papers we have counts for
Showing 2022 · cs.AIShow all
3 papers · 2 filters
cs.AI2022★ 2 cited
FALCON: Scalable Reasoning over Inconsistent ALC Ontologies
Tilman Hinnerichs, Zhenwei Tang, Xi Peng +2
Ontologies are one of the richest sources of knowledge. Real-world ontologies often contain thousands of axioms and are often human-made. Hence, they may contain inconsistency and…
cs.AI2022
TAR: Neural Logical Reasoning across TBox and ABox
Zhenwei Tang, Shichao Pei, Xi Peng +3
Many ontologies, i.e., Description Logic (DL) knowledge bases, have been developed to provide rich knowledge about various domains. An ontology consists of an ABox, i.e., assertion…
cs.AI2022
Description Logic EL++ Embeddings with Intersectional Closure
Xi Peng, Zhenwei Tang, Maxat Kulmanov +2
Many ontologies, in particular in the biomedical domain, are based on the Description Logic EL++. Several efforts have been made to interpret and exploit EL++ ontologies by distrib…