Publications

Export 42 results:
Filters: First Letter Of Keyword is D and Author is Pascal Hitzler  [Clear All Filters]
Journal Article
M. Krötzsch, Rudolph, S., and Hitzler, P., Complexities of Horn Description Logics, ACM Trans. Comput. Log., vol. 14, p. 2, 2013.PDF icon Hitzler-HornDLs-2013.pdf (764.32 KB)
J. Lehmann and Hitzler, P., Concept learning in description logics using refinement operators, Machine Learning, vol. 78, pp. 203–250, 2010.PDF icon lehmann-hitzler-MLJ-2010.pdf (1.05 MB)
C. Shimizu, Hitzler, P., Hirt, Q., Rehberger, D., Estrecha, S. Gonzalez, Foley, C., Sheill, A. M., Hawthorne, W., Mixter, J., Watrall, E., Carty, R., and Tarr, D., The Enslaved Ontology: Peoples of the Historic Slave Trade, Journal of Web Semantics, vol. 63, 2020.PDF icon (pdf) author version: The Enslaved Ontology (1020.25 KB)
C. Shimizu, Hitzler, P., Hirt, Q., Rehberger, D., Estrecha, S. Gonzalez, Foley, C., Sheill, A. M., Hawthorne, W., Mixter, J., Watrall, E., Carty, R., and Tarr, D., The Enslaved Ontology: Peoples of the Historic Slave Trade, Journal of Web Semantics, vol. 63, 2020.PDF icon (pdf) author version: The Enslaved Ontology (1020.25 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)
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)
F. Maier, Ma, Y., and Hitzler, P., Paraconsistent OWL and Related Logics, Semantic Web, vol. 4, pp. 395–427, 2013.PDF icon paraOWL-2013.pdf (698.73 KB)
S. Huang, Li, Q., and Hitzler, P., Reasoning with Inconsistencies in Hybrid MKNF Knowledge Bases, Logic Journal of the IGPL, vol. 21, pp. 263–290, 2013.PDF icon ljigpl-parahkmf-2013.pdf (225.39 KB)
S. Huang, Li, Q., and Hitzler, P., Reasoning with Inconsistencies in Hybrid MKNF Knowledge Bases, Logic Journal of the IGPL, vol. 21, pp. 263–290, 2013.PDF icon ljigpl-parahkmf-2013.pdf (225.39 KB)
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)
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)
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)

Pages