Package-Based Description Logics

DOI10.1007/978-3-642-01907-4_16zbMATH Open1237.68202DBLPseries/lncs/BaoVSH09OpenAlexW2143091640WikidataQ57015215 ScholiaQ57015215MaRDI QIDQ3631366FDOQ3631366

Giora Slutzki, Jie Bao, Vasant Honavar, George Voutsadakis

Publication date: 9 June 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://lib.dr.iastate.edu/cgi/viewcontent.cgi?article=1229&context=cs_techreports

Recommendations

• Modular reuse of ontologies: theory and practice
• A Modularity Approach for a Fragment of $\mathcal{ALC}$
• Composing Modular Ontologies with Distributed Description Logics
• Description Logics
• Model-theoretic inseparability and modularity of description logic ontologies

Mathematics Subject Classification ID

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

Cites Work

• Journal on Data Semantics I
• Local Models Semantics, or contextual reasoning = locality + compatibility
• Package-Based Description Logics
• Title not available (Why is that?)
• A tableau decision procedure for \(\mathcal{SHOIQ}\)
• Title not available (Why is that?)

Cited In (7)

• Modular reuse of ontologies: theory and practice
• Package-Based Description Logics
• Decidable Description Logics of Context with Rigid Roles
• ReAD: AD-based modular ontology classification
• Distributed first order logic
• A framework for modular ERDF ontologies
• Composing Modular Ontologies with Distributed Description Logics

This page was built for publication: Package-Based Description Logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3631366)