Publications

OWL

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.

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.

A. Abdalla, Hu, Y., Carral, D., Li, N., and Janowicz, K., “An Ontology Design Pattern for Activity Reasoning”, in Proceedings of the 5th Workshop on Ontology and Semantic Web Patterns (WOP2014) co-located with the 13th International Semantic Web Conference {(ISWC} 2014), Riva del Garda, Italy, October 19, 2014., 2014, pp. 78–81.

D. Carral, Krisnadhi, A., Rudolph, S., and Hitzler, P., “All But Not Nothing: Left-Hand Side Universals for Tractable OWL Profiles”, in Proceedings of the 11th International Workshop on OWL: Experiences and Directions (OWLED 2014) co-located with 13th International Semantic Web Conference on (ISWC 2014), Riva del Garda, Italy, October 17-18, 2014., 2014, vol. 1265, pp. 97-108.

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.

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.

OWL EL

R. Mutharaju, Hitzler, P., and Mateti, P., “Distributed OWL EL Reasoning: The Story So Far”, in Proceedings of the 10th International Workshop on Scalable Semantic Web Knowledge Base Systems, Riva Del Garda, Italy, Riva del Garda, Italy, 2014, vol. 1261, pp. 61-76.

R. Mutharaju, Hitzler, P., Mateti, P., and Lécué, F., “Distributed and Scalable OWL EL Reasoning”, in Proceedings of the 12th Extended Semantic Web Conference (ESWC 2015) , Portoroz, Slovenia, 2015.

R. Mutharaju, “Very Large Scale OWL Reasoning through Distributed Computation”, in 11th International Semantic Web Conference (ISWC 2012), Proceedings, Part II, Boston, MA, USA, 2012, vol. 7650, pp. 407–414.

Paraconsistency

Paraconsistent reasoning

Part of Relation

Pose estimation