A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages
From MaRDI portal
Publication:4870066
DOI10.1093/logcom/6.1.33zbMath0844.68109OpenAlexW2000288666WikidataQ57383731 ScholiaQ57383731MaRDI QIDQ4870066
Publication date: 5 September 1996
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/6.1.33
Related Items (4)
Complexity results for HTN planning ⋮ On bisimulations for description logics ⋮ On Importing Knowledge from Ontologies. ⋮ Expressiveness of concept expressions in first-order description logics
Uses Software
This page was built for publication: A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages
