Hybrid Logics and Ontology Languages

DOI10.1016/j.entcs.2006.11.022zbMath1278.68287OpenAlexW2055678419WikidataQ56988767 ScholiaQ56988767MaRDI QIDQ2867944

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

zbMATH Keywords

hybrid logicdescription logictableaux reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (6)

Towards World Identification in Description Logics ⋮ On the relationship between fuzzy description logics and many-valued modal logics ⋮ A prover dealing with nominals, binders, transitivity and relation hierarchies ⋮ Formalizing a Seligman-style tableau system for hybrid logic (short paper) ⋮ A tableau based decision procedure for an expressive fragment of hybrid logic with binders, converse and global modalities ⋮ Extended decision procedure for a fragment of HL with binders

Uses Software

• Pellet
• FaCT++
• Racer
• KL-ONE

Cites Work

• Data complexity of query answering in expressive description logics via tableaux
• Hybrid languages
• A tableau decision procedure for \(\mathcal{SHOIQ}\)
• A Resolution-Based Decision Procedure for $\mathcal{SHOIQ}$
• An overview of tableau algorithms for description logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Hybrid Logics and Ontology Languages