Conceptual Structures for Knowledge Creation and Communication
From MaRDI portal
Publication:5900604
DOI10.1007/b11835zbMath1274.68451MaRDI QIDQ5900604
Publication date: 31 March 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b11835
Related Items
Global Caching for Coalgebraic Description Logics, Structural subsumption and least common subsumers in a description logic with existential and number restrictions, A Proof-Theoretic Approach to Deciding Subsumption and Computing Least Common Subsumer in $\cal EL$ w.r.t. Hybrid TBoxes