Publications

Export 333 results:
Filters: Author is Pascal Hitzler  [Clear All Filters]
2012
A. S. d'Avila Garcez, Hitzler, P., and Lamb, L. C., Proceedings of the Eighth International Workshop on Neural-Symbolic Learning and Reasoning, NeSy'12, at the 26th Conference on Artificial Intelligence, AAAI-12, Toronto, Canada, July 2012, Eighth International Workshop on Neural-Symbolic Learning and Reasoning, NeSy'12, at the 26th Conference on Artificial Intelligence, AAAI-12. Toronto, Canada, 2012.
C. Wang, Krisnadhi, A., Carral, D., and Hitzler, P., Reasoning Approaches for Nominal Schemas, vol. Poster and Demonstration Proceedings. JIST, Nara, Japan, 2012.
Z. Zhou, Qi, G., Liu, C., Hitzler, P., and Mutharaju, R., Reasoning with Fuzzy-EL+ Ontologies Using MapReduce, in ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track, Montpellier, France, 2012, vol. 242, pp. 933–934.PDF icon FuzzyEL-MR-ECAI12.pdf (169.87 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)
M. Knorr, Hitzler, P., and Maier, F., Reconciling OWL and Non-monotonic Rules for the Semantic Web, in ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track, Montpellier, France, 2012, vol. 242, pp. 474–479.PDF icon OWLRules-ECAI2012.pdf (199.35 KB)
V. Agrawal, Baier, J., Bekris, K. E., Chen, Y., Garcez, A. S. d'Avila, Hitzler, P., Haslum, P., Jannach, D., Law, E., Lécué, F., Lamb, L. C., Matuszek, C., Palacios, H., Srivastava, B., Shastri, L., Sturtevant, N. R., Stern, R., Tellex, S., and Vassos, S., Reports of the AAAI 2012 Conference Workshops, AI Magazine, vol. 33, pp. 119–127, 2012.
V. Agrawal, Baier, J., Bekris, K. E., Chen, Y., Garcez, A. S. d'Avila, Hitzler, P., Haslum, P., Jannach, D., Law, E., Lécué, F., Lamb, L. C., Matuszek, C., Palacios, H., Srivastava, B., Shastri, L., Sturtevant, N. R., Stern, R., Tellex, S., and Vassos, S., Reports of the AAAI 2012 Conference Workshops, AI Magazine, vol. 33, no. 4, pp. 119-127, 2012.
C. Wang and Hitzler, P., A Resolution Procedure for Description Logics with Nominal Schemas, in Semantic Technology, Second Joint International Conference, JIST 2012, Nara, Japan, December 2-4, 2012. Proceedings, 2012, pp. 1–16.
P. Hitzler, Janowicz, K., Berg-Cross, G., Obrst, L., Sheth, A., Finin, T., and Cruz, I., Semantic Aspects of EarthCube, 2012.PDF icon Earthcube-Semantic-Report2012.pdf (195.5 KB)
G. Berg-Cross, Cruz, I., Dean, M., Finin, T., Gahegan, M., Hitzler, P., Hua, H., Janowicz, K., Li, N., Murphy, P., Nordgren, B., Obrst, L., Schildhauer, M., Sheth, A., Sinha, K., Thessen, A., Wiegand, N., and Zaslavsky, I., Semantics and Ontologies for EarthCube, in Workshop on GIScience in the Big Data Age, In conjunction with the seventh International Conference on Geographic Information Science 2012 (GIScience 2012), Columbus, Ohio, USA, 2012.PDF icon Semantics-Ontologies-EarthCube2012.pdf (62.78 KB)
A. Krisnadhi and Hitzler, P., A Tableau Algorithm for Description Logics with Nominal Schemas, in Web Reasoning and Rule Systems, 6th International Conference, RR2012, Vienna, Austria, September 10-12, 2012, Proceedings, 2012, vol. 7497, pp. 234-237.PDF icon KH2012-TR.pdf (427.25 KB)
A. Krishna Joshi, Hitzler, P., and Dong, G., Towards logical linked data compression, in Proceedings of the Joint Workshop on Large and Heterogeneous Data and Quantitative Formalization in the Semantic Web, LHD+ SemQuant2012, at the 11th International Semantic Web Conference, ISWC2012, 2012.
S. Rudolph, Krötzsch, M., and Hitzler, P., Type-Elimination-Based Reasoning for the Description Logic SHIQbs using Decision Diagrams and Disjunctive Datalog, Logical Methods in Computer Science, vol. 8, 2012.PDF icon type-elimination-2012.pdf (368.62 KB)
2011
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)
Y. Ma, Qi, G., and Hitzler, P., Computing Inconsistency Measure based on Paraconsistent Semantics, Journal of Logic and Computation, vol. 21, no. 6, pp. 1257–1281, 2011.PDF icon JLC-incons-measure-2011.pdf (459.85 KB)

Pages