Publications

Export 4 results:
Filters: Author is Axel Polleres  [Clear All Filters]
Conference Papers
S. Grimm and Hitzler, P., A Preferential Tableaux Calculus for Circumscriptive ALCO, in Web Reasoning and Rule Systems, Third International Conference, RR 2009, Chantilly, VA, USA, 2009, vol. 5837, pp. 40–54.PDF icon CircALCO-tableau-RR2009.pdf (244.34 KB)
Y. Ma and Hitzler, P., Paraconsistent Reasoning for OWL 2, in Web Reasoning and Rule Systems, Third International Conference, RR 2009, Chantilly, VA, USA, 2009, vol. 5837, pp. 197–211.PDF icon Paracons-owl2-RR2009.pdf (188.59 KB)
A. Krisnadhi, Maier, F., and Hitzler, P., OWL and Rules, in Reasoning Web. Semantic Technologies for the Web of Data - 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011, Tutorial Lectures, 2011, vol. 6848, pp. 382-415.PDF icon KriMaiHit-OWLRules-RW2011.pdf (427.87 KB)
Book Chapter
P. Hitzler, Lehmann, J., and Polleres, A., Logics for the Semantic Web, in Handbook of the History of Logic, vol. 9, D. M. Gabbay, Woods, J., and Siekmann, J. Elsevier, 2014, pp. 679-710.PDF icon LogicSemWeb-HHL-BookChapter2014.pdf (473.95 KB)