Publications

Search

Show only items where

Author

Type

Term

Year

Keyword

Export 2 results:

Filters: Author is Terrance Swift [Clear All Filters]

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.

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.

CircALCO-tableau-RR2009.pdf (244.34 KB)