Publications

Export 16 results:
Filters: Author is Frederick Maier  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
Automated Deduction
F. Maier, Ma, Y., and Hitzler, P., Paraconsistent OWL and Related Logics, Semantic Web, vol. 4, pp. 395–427, 2013.PDF icon paraOWL-2013.pdf (698.73 KB)
datalog
M. Krötzsch, Maier, F., Krisnadhi, A., and Hitzler, P., A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies, in Proceedings of the 20th International Conference on World Wide Web, WWW 2011, Hyderabad, India, March 28 - April 1, 2011, 2011, pp. 645-654.PDF icon KroetzschMaierKrisnadhiHitzler-WWW11.pdf (406.28 KB)
Description Logic
F. Maier, Ma, Y., and Hitzler, P., Paraconsistent OWL and Related Logics, Semantic Web, vol. 4, pp. 395–427, 2013.PDF icon paraOWL-2013.pdf (698.73 KB)
M. Krötzsch, Maier, F., Krisnadhi, A., and Hitzler, P., A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies, in Proceedings of the 20th International Conference on World Wide Web, WWW 2011, Hyderabad, India, March 28 - April 1, 2011, 2011, pp. 645-654.PDF icon KroetzschMaierKrisnadhiHitzler-WWW11.pdf (406.28 KB)
description logics
M. Knorr, Carral, D., Hitzler, P., Krisnadhi, A., Maier, F., and Wang, C., Recent Advances in Integrating OWL and Rules, in Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, Austria, Vienna, 2012, vol. 7497, pp. 225-228.PDF icon Recent Advances in Integrating OWL and Rules.pdf (175.88 KB)
OWL
F. Maier, Ma, Y., and Hitzler, P., Paraconsistent OWL and Related Logics, Semantic Web, vol. 4, pp. 395–427, 2013.PDF icon paraOWL-2013.pdf (698.73 KB)
M. Knorr, Carral, D., Hitzler, P., Krisnadhi, A., Maier, F., and Wang, C., Recent Advances in Integrating OWL and Rules, in Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, Austria, Vienna, 2012, vol. 7497, pp. 225-228.PDF icon Recent Advances in Integrating OWL and Rules.pdf (175.88 KB)
Rules
M. Knorr, Carral, D., Hitzler, P., Krisnadhi, A., Maier, F., and Wang, C., Recent Advances in Integrating OWL and Rules, in Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, Austria, Vienna, 2012, vol. 7497, pp. 225-228.PDF icon Recent Advances in Integrating OWL and Rules.pdf (175.88 KB)
Semantic Web Rule Language
M. Krötzsch, Maier, F., Krisnadhi, A., and Hitzler, P., A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies, in Proceedings of the 20th International Conference on World Wide Web, WWW 2011, Hyderabad, India, March 28 - April 1, 2011, 2011, pp. 645-654.PDF icon KroetzschMaierKrisnadhiHitzler-WWW11.pdf (406.28 KB)
SROIQ
M. Krötzsch, Maier, F., Krisnadhi, A., and Hitzler, P., A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies, in Proceedings of the 20th International Conference on World Wide Web, WWW 2011, Hyderabad, India, March 28 - April 1, 2011, 2011, pp. 645-654.PDF icon KroetzschMaierKrisnadhiHitzler-WWW11.pdf (406.28 KB)
tractability
M. Krötzsch, Maier, F., Krisnadhi, A., and Hitzler, P., A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies, in Proceedings of the 20th International Conference on World Wide Web, WWW 2011, Hyderabad, India, March 28 - April 1, 2011, 2011, pp. 645-654.PDF icon KroetzschMaierKrisnadhiHitzler-WWW11.pdf (406.28 KB)
Web Ontology Language
F. Maier, Ma, Y., and Hitzler, P., Paraconsistent OWL and Related Logics, Semantic Web, vol. 4, pp. 395–427, 2013.PDF icon paraOWL-2013.pdf (698.73 KB)

Pages