Publications

Export 168 results:
Filters: Author is Pascal Hitzler  [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 
EL+
A. Eberhart, Ebrahimi, M., Zhou, L., Shimizu, C., and Hitzler, P., Completion Reasoning Emulation for the Description Logic EL+, Proceedings of the AAAI 2020 Spring Symposium on Combining Machine Learning and Knowledge Engineering in Practice, vol. 2600. CEUR-WS.org, Stanford University, Palo Alto, California, USA, 2020.PDF icon paper5.pdf (1.89 MB)
evaluation
C. Shimizu, Eberhart, A., Karima, N., Hirt, Q., Krisnadhi, A., and Hitzler, P., A Method for Automatically Generating Schema Diagrams for OWL Ontologies, in 1st Iberoamerican Knowledge Graph and Semantic Web Conference (KGSWC), Villa Clara, Cuba, 2019.PDF icon paper.pdf (386.54 KB)
Formal Semantics
P. Hitzler and van Harmelen, F., A Reasonable Semantic Web, Semantic Web, vol. 1, pp. 39–44, 2010.PDF icon ARSW-HH-SWJ2011.pdf (126.61 KB)
Horn Logics
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.PDF icon All But Not Nothing- Left-Hand Side Universals for Tractable OWL Profiles.pdf (332.97 KB)
implementation
C. Shimizu, Eberhart, A., Karima, N., Hirt, Q., Krisnadhi, A., and Hitzler, P., A Method for Automatically Generating Schema Diagrams for OWL Ontologies, in 1st Iberoamerican Knowledge Graph and Semantic Web Conference (KGSWC), Villa Clara, Cuba, 2019.PDF icon paper.pdf (386.54 KB)
inconsistency measurement
Y. Ma, Qi, G., Xiao, G., Hitzler, P., and Lin, Z., Computational Complexity and Anytime Algorithm for Inconsistency Measurement, International Journal of Software and Informatics, vol. 4, pp. 3–21, 2010.PDF icon CompComplexity-IJSI2010.pdf (478.9 KB)

Pages