×

Found 12 Documents (Results 1–12)

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

all top 3

Software