Varzinczak, Ivan A note on a description logic of concept and role typicality for defeasible reasoning over ontologies. (English) Zbl 1522.68533 Log. Univers. 12, No. 3-4, 297-325 (2018). MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{I. Varzinczak}, Log. Univers. 12, No. 3--4, 297--325 (2018; Zbl 1522.68533) Full Text: DOI
Britz, Katarina; Heidema, Johannes; Varzinczak, Ivan Constrained consequence. (English) Zbl 1278.03030 Log. Univers. 5, No. 2, 327-350 (2011). Reviewer: Alex Citkin (Warren) MSC: 03B20 03B22 03B45 03B53 03B60 PDFBibTeX XMLCite \textit{K. Britz} et al., Log. Univers. 5, No. 2, 327--350 (2011; Zbl 1278.03030) Full Text: DOI