Reasoning with Prototypes in the Description Logic $${\mathcal {ALC}}$$ ALC Using Weighted Tree Automata

DOI10.1007/978-3-319-30000-9_5zbMath1435.68308OpenAlexW2406197743MaRDI QIDQ2798710

Andreas Ecke, Franz Baader

Publication date: 13 April 2016

Published in: Language and Automata Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-30000-9_5

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (1)

Extending the description logic \(\mathcal{EL}\) with threshold concepts induced by concept measures

This page was built for publication: Reasoning with Prototypes in the Description Logic $${\mathcal {ALC}}$$ ALC Using Weighted Tree Automata