Publications

Export 377 results:
Software
“Final State Detector ODP OWL Ontology”. 2016.Binary Data dectectorfinalstate.owl (24.29 KB)
“Final State Detector ODP RDF Data”. 2016.File Physics ODP Data.rdf (7.82 KB)
Thesis
C. Shimizu, “Advances in modular ontology engineering: methodology and infrastructure”, Kansas State University, Manhattan, 2020.PDF icon Dissertation.pdf (8.36 MB)
A. Krisnadhi, “Data Complexity of Instance Checking in the EL Family of Description Logics”, Technische Universität Dresden, Dresden, 2007.
D. Carral, “Efficient Reasoning Algorithms for Fragments of Horn Description Logics”, Wright State University, Dayton, OH, USA, 2016.PDF icon PhD-thesis-final.pdf (556 KB)
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)
K. Sengupta, “A Language for Inconsistency-Tolerant Ontology Mapping”, 2015.PDF icon Kunal-Sengupta-PhD-Dissertation-.pdf (1.1 MB)
A. Dalal, “Modular Ontology Modeling Meets Upper Ontologies: The Upper Ontology Alignment Tool”, Kansas State University, Manhattan, 2020.PDF icon AbhilekhaDalal_MasterReport2020.pdf (701.5 KB)
A. Krisnadhi, “Ontology Pattern-Based Data Integration”, Wright State University, Dayton, 2015.PDF icon Krisnadhi-dissertation-main.pdf (3.55 MB)
M. Labaf, Hitzler, P., and Evans, A. B., “Propositional Rule Extraction from Neural Networks under Background Knowledge”, 2017.PDF icon MastreThesis.pdf (587.2 KB)
C. Shimizu, “Rendering OWL in LaTeX for Improved Readability: Extensions to the OWLAPI”, Wright State University, Dayton, Ohio, 2017.PDF icon thesis.pdf (1.51 MB)
M. Ebrahimi, “Side Effects Recognition as Implicit Opinion Words in Drug Reviews”, Universiti Teknologi Malaysia, 2013.
L. Zhou, “Towards automated complex ontology alignment using rule-based machine learning”, Kansas State University, Manhattan, 2020.PDF icon Towards_Automated_Complex_Onto.pdf (5.52 MB)
M. Ebrahimi, “Towards generalizable neuro-symbolic reasoners”, Kansas State University, Manhattan, KS, 2021.
Unpublished
P. Hitzler and Krisnadhi, A. A., “A Tutorial on Modular Ontology Modeling with Ontology Design Patterns: The Cooking Recipes Ontology”. 2018.PDF icon mom-recipes-example.pdf (1.15 MB)

Pages