Böhme, Stephan; Lippmann, Marcel Decidable description logics of context with rigid roles. (English) Zbl 1471.68266 Lutz, Carsten (ed.) et al., Frontiers of combining systems. 10th international symposium, FroCoS 2015, Wrocław, Poland, September 21–24, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9322, 17-32 (2015). MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{S. Böhme} and \textit{M. Lippmann}, Lect. Notes Comput. Sci. 9322, 17--32 (2015; Zbl 1471.68266) Full Text: DOI
Euzenat, Jérôme Revision in networks of ontologies. (English) Zbl 1346.68191 Artif. Intell. 228, 195-216 (2015). MSC: 68T30 68T27 PDFBibTeX XMLCite \textit{J. Euzenat}, Artif. Intell. 228, 195--216 (2015; Zbl 1346.68191) Full Text: DOI
Eiter, Thomas; Šimkus, Mantas Linking open-world knowledge bases using nonmonotonic rules. (English) Zbl 1467.68177 Calimeri, Francesco (ed.) et al., Logic programming and nonmonotonic reasoning. 13th international conference, LPNMR 2015, Lexington, KY, USA, September 27–30, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9345, 294-308 (2015). MSC: 68T30 68T27 PDFBibTeX XMLCite \textit{T. Eiter} and \textit{M. Šimkus}, Lect. Notes Comput. Sci. 9345, 294--308 (2015; Zbl 1467.68177) Full Text: DOI
Nalon, Cláudia Towards resolution-based reasoning for connected logics. (English) Zbl 1335.68252 Fernández, Maribel (ed.) et al., Proceedings of the 8th workshop on logical and semantic frameworks (LSFA 2013), São Paulo, Brazil, September 2–3, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 305, 85-102, electronic only (2014). MSC: 68T27 03B35 03B45 68T15 68T30 PDFBibTeX XMLCite \textit{C. Nalon}, Electron. Notes Theor. Comput. Sci. 305, 85--102 (2014; Zbl 1335.68252) Full Text: DOI
Eiter, Thomas; Fink, Michael; Schüller, Peter; Weinzierl, Antonius Finding explanations of inconsistency in multi-context systems. (English) Zbl 1309.68177 Artif. Intell. 216, 233-274 (2014). Reviewer: Neli Zlatareva (New Britain, CT) MSC: 68T30 68T27 68T35 PDFBibTeX XMLCite \textit{T. Eiter} et al., Artif. Intell. 216, 233--274 (2014; Zbl 1309.68177) Full Text: DOI
Analyti, Anastasia; Antoniou, Grigoris; Damásio, Carlos Viegas; Pachoulakis, Ioannis A framework for modular ERDF ontologies. (English) Zbl 1271.68217 Ann. Math. Artif. Intell. 67, No. 3-4, 189-249 (2013). MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{A. Analyti} et al., Ann. Math. Artif. Intell. 67, No. 3--4, 189--249 (2013; Zbl 1271.68217) Full Text: DOI
Qi, Guilin; Ji, Qiu; Pan, Jeff Z.; Du, Jianfeng Extending description logics with uncertainty reasoning in possibilistic logic. (English) Zbl 1210.68110 Int. J. Intell. Syst. 26, No. 4, 353-381 (2011). MSC: 68T30 68T27 68T37 PDFBibTeX XMLCite \textit{G. Qi} et al., Int. J. Intell. Syst. 26, No. 4, 353--381 (2011; Zbl 1210.68110) Full Text: DOI
Kutz, Oliver; Mossakowski, Till; Lücke, Dominik Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design. (English) Zbl 1255.68153 Log. Univers. 4, No. 2, 255-333 (2010). MSC: 68T30 68Q65 68T27 PDFBibTeX XMLCite \textit{O. Kutz} et al., Log. Univers. 4, No. 2, 255--333 (2010; Zbl 1255.68153) Full Text: DOI
Bao, Jie; Voutsadakis, George; Slutzki, Giora; Honavar, Vasant Package-based description logics. (English) Zbl 1237.68202 Stuckenschmidt, Heiner (ed.) et al., Modular ontologies. Concepts, theories and techniques for knowledge modularization. Berlin: Springer (ISBN 978-3-642-01906-7/pbk). Lecture Notes in Computer Science 5445, 349-371 (2009). MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{J. Bao} et al., Lect. Notes Comput. Sci. 5445, 349--371 (2009; Zbl 1237.68202) Full Text: DOI Link
Serafini, Luciano; Tamilin, Andrei Composing modular ontologies with distributed description logics. (English) Zbl 1242.68318 Stuckenschmidt, Heiner (ed.) et al., Modular ontologies. Concepts, theories and techniques for knowledge modularization. Berlin: Springer (ISBN 978-3-642-01906-7/pbk). Lecture Notes in Computer Science 5445, 321-347 (2009). MSC: 68T30 68T27 PDFBibTeX XMLCite \textit{L. Serafini} and \textit{A. Tamilin}, Lect. Notes Comput. Sci. 5445, 321--347 (2009; Zbl 1242.68318) Full Text: DOI
Brockmans, Saartje; Haase, Peter; Serafini, Luciano; Stuckenschmidt, Heiner Formal and conceptual comparison of ontology mapping languages. (English) Zbl 1242.68308 Stuckenschmidt, Heiner (ed.) et al., Modular ontologies. Concepts, theories and techniques for knowledge modularization. Berlin: Springer (ISBN 978-3-642-01906-7/pbk). Lecture Notes in Computer Science 5445, 267-291 (2009). MSC: 68T30 68T27 PDFBibTeX XMLCite \textit{S. Brockmans} et al., Lect. Notes Comput. Sci. 5445, 267--291 (2009; Zbl 1242.68308) Full Text: DOI
Borgida, Alexander On importing knowledge from ontologies. (English) Zbl 1242.68307 Stuckenschmidt, Heiner (ed.) et al., Modular ontologies. Concepts, theories and techniques for knowledge modularization. Berlin: Springer (ISBN 978-3-642-01906-7/pbk). Lecture Notes in Computer Science 5445, 91-112 (2009). MSC: 68T30 68T27 PDFBibTeX XMLCite \textit{A. Borgida}, Lect. Notes Comput. Sci. 5445, 91--112 (2009; Zbl 1242.68307) Full Text: DOI