Publications

Export 4 results:
Filters: Author is Axel Polleres  [Clear All Filters]
2014
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)
2011
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)
2009
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)
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)