Publications

Export 7 results:
Filters: First Letter Of Keyword is T  [Clear All Filters]
Journal Article
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)
A. K. Seda and Hitzler, P., “Generalized Distance Functions in the Theory of Computation”, Computer Journal, vol. 53, pp. 443–464, 2010.PDF icon GeneralizedDistance-CJ-2010.pdf (316.51 KB)
Conference Papers
D. Carral, Feier, C., Romero, A. Armas, Grau, B. Cuenca, Hitzler, P., and Horrocks, I., “Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs”, in Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014., 2014, pp. 128–140.PDF icon Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs .pdf (381.91 KB)
D. Carral, Feier, C., Grau, B. Cuenca, Hitzler, P., and Horrocks, I., “Pushing the Boundaries of Tractable Ontology Reasoning”, in The Semantic Web - ISWC 2014 - 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part II, 2014, pp. 148–163.PDF icon Pushing the Boundaries of Tractable Ontology Reasoning.pdf (368.01 KB)
Y. Hu, Janowicz, K., Carral, D., Scheider, S., Kuhn, W., Berg-Cross, G., Hitzler, P., Dean, M., and Kolas, D., “A Geo-ontology Design Pattern for Semantic Trajectories”, in Spatial Information Theory - 11th International Conference, COSIT 2013, Scarborough, UK, September 2-6, 2013. Proceedings, 2013, pp. 438–456.PDF icon A Geo-Ontology Design Pattern for Semantic Trajectories.pdf (1.49 MB)
D. Carral, Feier, C., Grau, B. Cuenca, Hitzler, P., and Horrocks, I., “EL-ifying Ontologies”, in Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna, Austria, July 19-22, 2014. Proceedings, 2014, pp. 464–479.PDF icon EL-ifying Ontologies.pdf (581.68 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)