A multi-dimensional terminological knowledge representation language
From MaRDI portal
Publication:4868227
Cites work
- Attributive concept descriptions with complements
- scientific article; zbMATH DE number 3670430 (Why is no real title available?)
- Propositional dynamic logic of regular programs
- Proving termination with multiset orderings
- Reasoning and revision in hybrid representation systems
- Semantics-Based Translation Methods for Modal Logics
- The KL-ONE family
- The undecidability of the domino problem
Cited in
(15)- Decidable fragments of first-order temporal logics
- Non-primitive recursive decidability of products of modal logics with expanding domains
- Decidable fragments of first-order modal logics
- Non-finitely axiomatisable two-dimensional modal logics
- Multi-criterion search from the semantic point of view (comparing TIL and description logic)
- PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\)
- scientific article; zbMATH DE number 67503 (Why is no real title available?)
- scientific article; zbMATH DE number 67970 (Why is no real title available?)
- An intensional semantics for a hybrid language
- scientific article; zbMATH DE number 1163479 (Why is no real title available?)
- On axiomatising products of Kripke frames
- A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages
- scientific article; zbMATH DE number 1400210 (Why is no real title available?)
- Products of ‘transitive” modal logics
- \({\mathcal E}\)-connections of abstract description systems
This page was built for publication: A multi-dimensional terminological knowledge representation language
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4868227)
