Publications

Export 47 results:
Filters: First Letter Of Keyword is D  [Clear All Filters]
Thesis
D. Carral, “Efficient Reasoning Algorithms for Fragments of Horn Description Logics”, Wright State University, Dayton, 2017.PDF icon PhD Dissertation Carral.pdf (578.29 KB)
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)
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. 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)
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)
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)
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)
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)
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)
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)
Conference Proceedings
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)
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)

Pages