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 
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)
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)
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)
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)