Publications

Export 306 results:
Filters: Author is Pascal Hitzler  [Clear All Filters]
2012
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)
P. Jain, Yeh, P. Z., Verma, K., Vasquez, R. G., Damova, M., Hitzler, P., and Sheth, A., “Contextual Ontology Alignment of LOD with an Upper Ontology: A Case Study with Proton”, in The Semantic Web: Research and Applications - 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, 2011, vol. 6643, pp. 80–92.PDF icon blooms-eswc2011.pdf (366.02 KB)
M. Knorr, Alferes, J. Júlio, and Hitzler, P., “Local Closed World Reasoning with Description Logics under the Well-Founded Semantics”, Artificial Intelligence, vol. 175, no. 9-10, pp. 1528–1554, 2011.PDF icon LocalClosed-AI-2011.pdf (354.24 KB)
A. Krisnadhi, Sengupta, K., and Hitzler, P., “Local Closed World Semantics: Grounded Circumscription for Description Logics”, in Web Reasoning and Rule Systems - 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Proceedings, 2011, vol. 6902, pp. 263-268.PDF icon KriSenHit-GroundedCircumscriptionDL-RR2011.pdf (259.67 KB)
K. Sengupta, Krisnadhi, A., and Hitzler, P., “Local Closed World Semantics: Grounded Circumscription for OWL”, in The Semantic Web - ISWC 2011 - 10th International Semantic Web Conference, Bonn, Germany, October 23-27, 2011, Proceedings, Part I, 2011, vol. 7031, pp. 617-632.PDF icon SenKriHit-GroundedCircumscriptionOWL-ISWC2011.pdf (385.97 KB)
A. Krisnadhi, Sengupta, K., and Hitzler, P., “Local Closed World Semantics: Keep it simple, stupid!”, in Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011, 2011, vol. 745.
S. Hölldobler, Bader, S., Fronhöfer, B., Hans, U., Hitzler, P., Krötzsch, M., and Pietzsch, T., Logik und Logikprogrammierung Band 2: Aufgaben und Lösungen. Heidelberg, Germany: Synchron Verlag, 2011.
R. Meersman, Dillon, T. S., Herrero, P., Kumar, A., Reichert, M., Qing, L., Ooi, B. Chin, Damiani, E., Schmidt, D. C., White, J., Hauswirth, M., Hitzler, P., and Mohania, M. K., “On the Move to Meaningful Internet Systems: OTM 2011. Confederated International Conferences, CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011, Proceedings, Part I”, Confederated International Conferences, CoopIS, DOA-SVI, and ODBASE 2011, vol. 7044. Springer, Hersonissos, Crete, Greece, 2011.
R. Meersman, Dillon, T. S., Herrero, P., Kumar, A., Reichert, M., Qing, L., Ooi, B. Chin, Damiani, E., Schmidt, D. C., White, J., Hauswirth, M., Hitzler, P., and Mohania, M. K., “On the Move to Meaningful Internet Systems: OTM 2011. Confederated International Conferences, CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011, Proceedings, Part II”, Confederated International Conferences, CoopIS, DOA-SVI, and ODBASE 2011, vol. 7045. Springer, Hersonissos, Crete, Greece, 2011.
M. Krötzsch, Maier, F., Krisnadhi, A., and Hitzler, P., “Nominal Schemas for Integrating Rules and Description Logics”, in Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011, 2011, vol. 745.
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)

Pages