Tableau-based Forgetting in ALC Ontologies

DOI10.3233/978-1-60750-606-5-47zbMath1211.68416OpenAlexW2132642653MaRDI QIDQ2999104

Zhe Wang, Kewen Wang, Xiaowang Zhang, Rodney W. Topor

Publication date: 11 May 2011

Full work available at URL: https://dblp.uni-trier.de/db/conf/ecai/ecai2010.html#WangWTZ10

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (1)

(Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\)

This page was built for publication: Tableau-based Forgetting in ALC Ontologies