Publications

Export 47 results:
Filters: First Letter Of Keyword is D  [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 
Description Logic
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)
M. Krötzsch, Maier, F., Krisnadhi, A., and Hitzler, P., “A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies”, in Proceedings of the 20th International Conference on World Wide Web, WWW 2011, Hyderabad, India, March 28 - April 1, 2011, 2011, pp. 645-654.PDF icon KroetzschMaierKrisnadhiHitzler-WWW11.pdf (406.28 KB)
A. Krisnadhi, Sengupta, K., and Hitzler, P., “Local Closed World Semantics: Keep it simple, stupid!”, in Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011, 2011, vol. 745.
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)
A. Eberhart, Cheatham, M., and Hitzler, P., “Pseudo-Random ALC Syntax Generation”, in The Semantic Web: ESWC 2018 Satellite Events - ESWC 2018 Satellite Events, Heraklion, Crete, Greece, June 3-7, 2018, Revised Selected Papers, Heraklion, Crete, Greece, 2018, vol. 11155, pp. 19–22.PDF icon Pseudo_Random_ALC_Syntax_Generation.pdf (134.95 KB)
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)
description logics
K. Sengupta, Hitzler, P., and Janowicz, K., “Revisiting default description logics – and their role in aligning ontologies”, in Semantic Technology, 4th Joint International Conference, JIST 2014, Chiang Mai, Thailand, 2014, vol. 8943, pp. 3-18.PDF icon 2014-Kunal-defaults.pdf (308.62 KB)
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)
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)
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. Knorr, Carral, D., Hitzler, P., Krisnadhi, A., Maier, F., and Wang, C., “Recent Advances in Integrating OWL and Rules”, in Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, Austria, Vienna, 2012, vol. 7497, pp. 225-228.PDF icon Recent Advances in Integrating OWL and Rules.pdf (175.88 KB)
D. Carral, Janowicz, K., and Hitzler, P., “A logical geo-ontology design pattern for quantifying over types”, in SIGSPATIAL 2012 International Conference on Advances in Geographic Information Systems (formerly known as GIS), SIGSPATIAL'12, Redondo Beach, CA, USA, November 7-9, 2012, 2012, pp. 239–248.PDF icon A Logical Geo-Ontology Design Pattern for Quantifying over Types.pdf (227.63 KB)
D. Carral and Hitzler, P., “Extending Description Logic Rules”, in The Semantic Web: Research and Applications - 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Crete, Greece, May 27-31, 2012. Proceedings, 2012, pp. 345–359.PDF icon Extending Description Logic Rules.pdf (360.84 KB)
D. Carral, Wang, C., and Hitzler, P., “Towards an Efficient Algorithm to Reason over Description Logics Extended with Nominal Schemas”, in Web Reasoning and Rule Systems - 7th International Conference, {RR} 2013, Mannheim, Germany, July 27-29, 2013. Proceedings, 2013, pp. 65–79.PDF icon Towards an Efficient Algorithm to Reason over Description Logics extended with Nominal Schemas.pdf (327.39 KB)

Pages