Hybrid logics and ontology languages
From MaRDI portal
Publication:2867944
DOI10.1016/J.ENTCS.2006.11.022zbMATH Open1278.68287OpenAlexW2055678419WikidataQ56988767 ScholiaQ56988767MaRDI QIDQ2867944FDOQ2867944
Birte Glimm, Ian Horrocks, Ulrike Sattler
Publication date: 20 December 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2006.11.022
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Hybrid languages
- Title not available (Why is that?)
- An overview of tableau algorithms for description logics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Data complexity of query answering in expressive description logics via tableaux
- Title not available (Why is that?)
- A tableau decision procedure for \(\mathcal{SHOIQ}\)
- Title not available (Why is that?)
- A Resolution-Based Decision Procedure for $\mathcal{SHOIQ}$
Cited In (9)
- Towards World Identification in Description Logics
- Title not available (Why is that?)
- On the relationship between fuzzy description logics and many-valued modal logics
- A tableau based decision procedure for an expressive fragment of hybrid logic with binders, converse and global modalities
- Foundations of Logic Programming in Hybridised Logics
- A prover dealing with nominals, binders, transitivity and relation hierarchies
- Extended decision procedure for a fragment of HL with binders
- Foundations of logic programming in hybrid logics with user-defined sharing
- Formalizing a Seligman-style tableau system for hybrid logic (short paper)
Uses Software
This page was built for publication: Hybrid logics and ontology languages
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2867944)
