Enriching [Escr ][Lscr ]-Concepts with Greatest Fixpoints

DOI10.3233/978-1-60750-606-5-41zbMath1211.68408OpenAlexW119800476MaRDI QIDQ2999103

Robert Piro, Carsten Lutz, Frank Wolter

Publication date: 11 May 2011

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

Mathematics Subject Classification ID

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

Related Items (4)

Optimal fixed-premise repairs of \(\mathcal{E}\mathcal{L}\) TBoxes ⋮ Completion-based generalization inferences for the description logic \(\mathcal{ELOR}\) with subjective probabilities ⋮ Most specific consequences in the description logic \(\mathcal{E} \mathcal{L} \) ⋮ Ontology Learning from Interpretations in Lightweight Description Logics

This page was built for publication: Enriching [Escr ][Lscr ]-Concepts with Greatest Fixpoints