Publications

Export 351 results:
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)

Pages