scientific article
From MaRDI portal
Publication:3455591
zbMath1327.68258MaRDI QIDQ3455591
Nadeschda Nikitina, Sebastian Rudolph
Publication date: 11 December 2015
Full work available at URL: http://ebooks.iospress.nl/volumearticle/7042
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Grammars and rewriting systems (68Q42)
Related Items (4)
Optimal fixed-premise repairs of \(\mathcal{E}\mathcal{L}\) TBoxes ⋮ Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey ⋮ (Non-)succinctness of uniform interpolants of general terminologies in the description logic \(\mathcal{EL}\) ⋮ The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
This page was built for publication: