@article {755, title = {GeoLink Dataset: A Complex Alignment Benchmark from Real-world Ontology}, journal = {Data Intelligence }, year = {2020}, author = {Lu Zhou and Michelle Cheatham and Adila Krisnadhi and Pascal Hitzler} } @inbook {802, title = {Modular Ontology Modeling: A Tutorial}, booktitle = {Applications and Practices in Ontology Design, Extraction, and Reasoning}, volume = {49}, year = {2020}, publisher = {IOS Press}, organization = {IOS Press}, chapter = {1}, abstract = {

We provide an in-depth example of modular ontology engineering with ontology design patterns. The style and content of this chapter is adapted from previous work and tutorials on Modular Ontology Modeling. It o ers expanded steps and updated tool information. The tutorial is largely self-contained, but assumes that the reader is familiar with the Web Ontology Language OWL; however, we do briefly review some foundational concepts. By the end of the tutorial, we expect
the reader to have an understanding of the underlying motivation and methodology for producing a modular ontology.

}, author = {Cogan Shimizu and Pascal Hitzler and Adila Krisnadhi} } @conference {747, title = {A Method for Automatically Generating Schema Diagrams for OWL Ontologies}, booktitle = {1st Iberoamerican Knowledge Graph and Semantic Web Conference (KGSWC)}, year = {2019}, month = {06/2019}, publisher = {Springer}, organization = {Springer}, chapter = {149-161}, address = {Villa Clara, Cuba}, abstract = {

Interest in Semantic Web technologies, including knowledge graphs and ontologies, is increasing rapidly in industry and academics. In order to support ontology engineers and domain experts, it is necessary to provide them with robust tools that facilitate the ontology engineering process. Often, the schema diagram of an ontology is the most important tool for quickly conveying the overall purpose of an ontology. In this paper, we present a method for programmatically generating a schema diagram from an OWL file. We evaluate its ability to generate schema diagrams similar to manually drawn schema diagrams and show that it outperforms VOWL and OWLGrEd. In addition, we provide a prototype implementation of this tool.

}, keywords = {design patterns, evaluation, implementation, ontology, schema diagrams, visualization}, author = {Cogan Shimizu and Aaron Eberhart and Nazifa Karima and Quinn Hirt and Adila Krisnadhi and Pascal Hitzler} } @conference {694, title = {A Complex Alignment Benchmark: Geolink dataset}, booktitle = {ISWC}, year = {2018}, publisher = {Springer}, organization = {Springer}, author = {Lu Zhou and Michelle Cheatham and Adila Krisnadhi and Pascal Hitzler} } @article {715, title = {The GeoLink Knowledge Graph}, journal = {Big Earth Data}, year = {2018}, author = {Michelle Cheatham and Adila Krisnadhi and Reihaneh Amini and Pascal Hitzler and Krzysztof Janowicz and Adam Shepherd and Tom Narock and Matt Jones and Peng Ji} } @article {691, title = {The GeoLink Knowledge Graph}, journal = {Big Earth Data}, year = {2018}, author = {Michelle Cheatham and Adila Krisnadhi and Reihaneh Amini and Pascal Hitzler and Krzysztof Janowicz and Adam Shepherd and Tom Narock and Matt Jones and Peng Ji} } @book {794, title = {Advances in Ontology Design and Patterns}, series = {Studies on the Semantic Web}, volume = {32}, year = {2017}, publisher = {IOS Press}, organization = {IOS Press}, address = {Amsterdam}, author = {Karl Hammar and Pascal Hitzler and Agnieszka Lawrynowicz and Adila Krisnadhi and Andrea Nuzzolese and Monika Solanki} } @article {394, title = {An Ontology Design Pattern and Its Use Case for Modeling Material Transformation}, journal = {Semantic Web}, volume = {8}, year = {2017}, pages = {731}, chapter = {719}, doi = {10.3233/SW-160231}, author = {Charles Vardeman and Adila Krisnadhi and Michelle Cheatham and Krzysztof Janowicz and Holly Ferguson and Pascal Hitzler and Aimee Buccellato} } @booklet {586, title = {Rule-based OWL Modeling with ROWLTab Protege Plugin}, year = {2017}, abstract = {

It has been argued that it is much easier to convey logi- cal statements using rules rather than OWL (or description logic (DL)) axioms. Based on recent theoretical developments on transformations between rules and DLs, we have developed ROWLTab, a Prot ́eg ́e plugin that allows users to enter OWL axioms by way of rules; the plugin then automatically converts these rules into OWL 2 DL axioms if possible, and prompts the user in case such a conversion is not possible without weakening the semantics of the rule. In this paper, we present ROWLTab, together with a user evaluation of its effectiveness compared to entering axioms using the standard Prot ́eg ́e interface. Our evaluation shows that modeling with ROWLTab is much quicker than the standard interface, while at the same time, also less prone to errors for hard modeling tasks.

}, author = {Md Kamruzzaman Sarker and Adila Krisnadhi and David Carral and Pascal Hitzler} } @inbook {569, title = {Collected Research Questions Concerning Ontology Design Patterns}, booktitle = {Ontology Engineering with Ontology Design Patterns: Foundations and Applications}, year = {2016}, publisher = {IOS Press}, organization = {IOS Press}, address = {Amsterdam}, author = {Karl Hammar and Eva Blomqvist and David Carral and Marieke van Erp and Antske Fokkens and Aldo Gangemi and Willem Robert van Hage and Pascal Hitzler and Krzysztof Janowicz and Nazifa Karima and Adila Krisnadhi and Tom Narock and Roxane Segers and Monika Solanki and Vojtech Svatek} } @article {480, title = {Considerations regarding Ontology Design Patterns}, journal = {Semantic Web}, volume = {7}, year = {2016}, pages = {1-7}, author = {Eva Blomqvist and Pascal Hitzler and Krzysztof Janowicz and Adila Krisnadhi and Thomas Narock and Monika Solanki} } @inbook {567, title = {Introduction: Ontology Design Patterns in a Nutshell}, booktitle = {Ontology Engineering with Ontology Design Patterns: Foundations and Applications}, year = {2016}, publisher = {IOS Press}, organization = {IOS Press}, address = {Amsterdam}, author = {Krzysztof Janowicz and Aldo Gangemi and Pascal Hitzler and Adila Krisnadhi and Valentina Presutti} } @conference {572, title = {Modeling OWL with Rules: The ROWL Protege Plugin}, year = {2016}, publisher = {15th International Semantic Web Conference (ISWC) 2016}, organization = {15th International Semantic Web Conference (ISWC) 2016}, address = {Kobe, Japan}, abstract = {

Abstract. In our experience, some ontology users find it much easier to convey logical statements using rules rather than OWL (or description logic) axioms. Based on recent theoretical developments on transformations between rules and description logics, we develop ROWL, a Proteg{\textasciiacute} e plugin that allows users to enter OWL axioms by way of rules; the plugin then automatically converts these rules into OWL DL axioms if possible, and prompts the user in case such a conversion is not possible without weakening the semantics of the rule.

}, url = {http://ceur-ws.org/Vol-1690/paper92.pdf}, author = {Md Kamruzzaman Sarker and David Carral and Adila Krisnadhi and Pascal Hitzler} } @inbook {577, title = {Modeling With Ontology Design Patterns: Chess Games As a Worked Example}, booktitle = {Ontology Engineering with Ontology Design Patterns: Foundations and Applications}, volume = {25}, number = {Studies on the Semantic Web}, year = {2016}, pages = {3{\textendash}21}, publisher = {IOS Press}, organization = {IOS Press}, chapter = {1}, doi = {10.3233/978-1-61499-676-7-3}, author = {Adila Krisnadhi and Pascal Hitzler} } @article {501, title = {Modular Ontology Architecture for Data Integration in the GeoLink Project}, year = {2016}, address = {Ontology Summit 2016 (online)}, url = {http://ontologforum.org/index.php?title=ConferenceCall_2016_02_25\&oldid=22543$\#$hid1C2C}, author = {Adila Krisnadhi} } @inbook {579, title = {Ontology Design Patterns for Data Integration: The {G}eo{L}ink Experience}, booktitle = {Ontology Engineering with Ontology Design Patterns: Foundations and Applications}, volume = {25}, number = {Studies on the Semantic Web}, year = {2016}, pages = {267 - 278}, chapter = {13}, doi = {10.3233/978-1-61499-676-7-267}, author = {Adila Krisnadhi} } @inbook {578, title = {Ontology Design Patterns for Linked Data Publishing}, booktitle = {Ontology Engineering with Ontology Design Patterns: Foundations and Applications}, volume = {25}, number = {Studies on the Semantic Web}, year = {2016}, pages = {201 - 232}, chapter = {10}, doi = {10.3233/978-1-61499-676-7-201}, author = {Adila Krisnadhi and Nazifa Karima and Pascal Hitzler and Reihaneh Amini and V{\'\i}ctor Rodr{\'\i}guez-Doncel and Krzysztof Janowicz} } @book {566, title = {Ontology Engineering with Ontology Design Patterns: Foundations and Applications}, series = {Studies On the Semantic Web}, volume = {025}, year = {2016}, publisher = {IOS Press}, organization = {IOS Press}, address = {Amsterdam}, author = {Pascal Hitzler and Aldo Gangemi and Krzysztof Janowicz and Adila Krisnadhi and Valentina Presutti} } @conference {573, title = {OWLAx: A Protege Plugin to Support Ontology Axiomatization through Diagramming}, year = {2016}, publisher = {15th International Semantic Web Conference, ISWC2016, Kobe, Japan, October 2016}, organization = {15th International Semantic Web Conference, ISWC2016, Kobe, Japan, October 2016}, address = {Kobe, Japan}, abstract = {

Abstract. Once the conceptual overview, in terms of a somewhat informal class diagram, has been designed in the course of engineering an ontology, the process of adding many of the appropriate logical axioms is mostly a routine task. We provide a Prot{\textasciiacute}eg{\textasciiacute}e3 plugin which supports this task, together with a visual user interface, based on established methods for ontology design pattern modeling.

}, url = {http://ceur-ws.org/Vol-1690/paper83.pdf}, author = {Md Kamruzzaman Sarker and Adila Krisnadhi and Pascal Hitzler} } @inbook {580, title = {The {R}ole Patterns}, booktitle = {Ontology Engineering with Ontology Design Patterns: Foundations and Applications}, volume = {25}, number = {Studies on the Semantic Web}, year = {2016}, pages = {313{\textendash}319}, publisher = {IOS Press}, organization = {IOS Press}, chapter = {16}, doi = {10.3233/978-1-61499-676-7-313}, author = {Adila Krisnadhi} } @inbook {568, title = {On the Roles of Logical Axiomatizations for Ontologies}, booktitle = {Ontology Engineering with Ontology Design Patterns: Foundations and Applications}, year = {2016}, publisher = {IOS Press}, organization = {IOS Press}, address = {Amsterdam}, author = {Pascal Hitzler and Adila Krisnadhi} } @article {581, title = {Update on ESIP Testbed Project}, year = {2016}, author = {Nazifa Karima and Adila Krisnadhi and Pascal Hitzler and Tom Narock} } @conference {481, title = {EarthCube GeoLink: Semantics and Linked Data for the Geosciences}, booktitle = {2015 American Geophysical Union Fall Meeting, San Francisco, 14-18 December 2015}, year = {2015}, author = {Robert A. Arko and Suzanne Carbotte and Cynthia Chandler and Michelle Cheatham and Douglas Fils and Pascal Hitzler and Krzysztof Janowicz and Peng Ji and Matthew Jones and Adila Krisnadhi and Kerstin Lehnert and Audrey Mickle and Tom Narock and Margaret O{\textquoteright}Brien and Lisa Raymond and Mark Schildhauer and Adam Shepherd and Peter Wiebe} } @article {392, title = {The {GeoLink} Framework for Pattern-based Linked Data Integration}, journal = {Proceedings of the ISWC 2015 Posters \& Demonstrations Track}, year = {2015}, month = {10/2015}, author = {Adila Krisnadhi and Yingjie Hu and Krzsyztof Janowicz and Pascal Hitzler and Robert Arko and Suzanne Carbotte and Cynthia Chandler and Michelle Cheatham and Douglas Fils and Timothy Finin and Peng Ji and Matthew Jones and Nazifa Karima and Kerstin Lehnert and Audrey Mickle and Thomas Narock and Margaret O{\textquoteright}Brien and Lisa Raymond and Adam Shepherd and Mark Schildhauer and Peter Wiebe} } @conference {393, title = {The {GeoLink} Modular Oceanography Ontology}, booktitle = {The Semantic Web - ISWC 2015. 14th International Semantic Web Conference, Bethlehem, Pennsylvania, United States, October 11-15, 2015}, year = {2015}, month = {10/2015}, publisher = {Springer}, organization = {Springer}, author = {Adila Krisnadhi and Yingjie Hu and Krzysztof Janowicz and Pascal Hitzler and Robert Arko and Suzanne Carbotte and Cynthia Chandler and Michelle Cheatham and Douglas Fils and Timothy Finin and Peng Ji and Matthew Jones and Nazifa Karima and Kerstin Lehnert and Audrey Mickle and Thomas Narock and Margaret O{\textquoteright}Brien and Lisa Raymond and Adam Shepherd and Mark Schildhauer and Peter Wiebe} } @conference {482, title = {Linked Data: Forming Partnerships at the Data Layer}, booktitle = {2015 American Geophysical Union Fall Meeting, San Francisco, 14-18 December 2015}, year = {2015}, author = {Adam Shepherd and Cynthia Chandler and Robert A. Arko and Matthew Jones and Pascal Hitzler and Krzysztof Janowicz and Adila Krisnadhi and Mark Schildhauer and Douglas Fils and Tom Narock and Robert Groman and Margaret O{\textquoteright}Brien and Evan W. Patton and Danie Kinkade and Shannon Rauch} } @conference {388, title = {A Minimal Ontology Pattern for Life Cycle Assessment Data}, booktitle = {Proceedings of the 6th Workshop on Ontology and Semantic Web Patterns (WOP2015) co-located with the 14th International Semantic Web Conference {(ISWC} 2015), Bethlehem, PA, USA, October 11, 2015}, year = {2015}, month = {10/2015}, author = {Krzysztof Janowicz and Adila Krisnadhi and Yingjie Hu and Sangwon Suh and Bo Pedersen Weidema and Beatriz Rivela and Johan Tivander and David E. Meyer and Gary Berg-Cross and Pascal Hitzler and Wesley Ingwersen and Brandon Kuczenski and Charles Vardeman and Yiting Ju} } @conference {389, title = {An Ontology Design Pattern for Chess Games}, booktitle = {Proceedings of the 6th Workshop on Ontology and Semantic Web Patterns (WOP2015) co-located with the 14th International Semantic Web Conference (ISWC 2015), Bethlehem, PA, USA}, volume = {1461}, year = {2015}, month = {10/2015}, url = {http://ceur-ws.org/Vol-1461/WOP2015_pattern_abstract_2.pdf}, author = {Adila Krisnadhi and V{\'\i}ctor Rodr{\'\i}guez-Doncel and Pascal Hitzler and Michelle Cheatham and Nazifa Karima and Reihaneh Amini and Ashley Coleman} } @conference {387, title = {An Ontology Design Pattern for Dynamic Relative Relationships}, booktitle = {Proceedings of the 6th Workshop on Ontology and Semantic Web Patterns (WOP 2015) co-located with the 14th International Semantic Web Conference (ISWC 2015), Bethlehem, Pensylvania, USA, October 11, 2015}, volume = {1461}, year = {2015}, month = {10/2015}, publisher = {CEUR-WS.org}, organization = {CEUR-WS.org}, url = {http://ceur-ws.org/Vol-1461/WOP2015_paper_3.pdf}, author = {Holly Ferguson and Adila Krisnadhi and Charles Vardeman}, editor = {Eva Blomqvist and Pascal Hitzler and Adila Krisnadhi and Thomas Narock and Monika Solanki} } @conference {386, title = {An Ontology Design Pattern for Particle Physics Analysis}, booktitle = {Proceedings of the 6th Workshop on Ontology and Semantic Web Patterns (WOP 2015) co-located with the 14th International Semantic Web Conference (ISWC 2015), Bethlehem, Pensylvania, USA, October 11, 2015}, volume = {1461}, year = {2015}, month = {10/2015}, publisher = {CEUR-WS.org}, organization = {CEUR-WS.org}, abstract = {

The detector final state is the core element of particle physics analysis as it defines the physical characteristics that form the basis of the measurement presented in a published paper. Although they are a crucial part of the research process, detector final states are not yet formally described, published in papers or searchable in a convenient way. This paper aims at providing an ontology pattern for the detector final state that can be used as a building block for an ontology covering the whole particle physics analysis life cycle.

}, url = {http://ceur-ws.org/Vol-1461/WOP2015_pattern_abstract_5.pdf}, author = {David Carral and Michelle Cheatham and Sunje Dallmeir-Tiessen and Patricia Herterich and Michael D. Hildreth and Pascal Hitzler and Adila Krisnadhi and Kati Lassila-Perini and Elizabeth Sexton-Kennedy and Charles Vardeman and Gordon Watts}, editor = {Eva Blomqvist and Pascal Hitzler and Adila Krisnadhi and Thomas Narock and Monika Solanki} } @conference {321, title = {Ontology Design Patterns: Bridging the Gap Between Local Semantic Use Cases and Large-Scale, Long-Term Data Integration}, booktitle = {European Geosciences Union General Assembly 2015, Vienna, Austria, 12 - 17 April 2015}, year = {2015}, author = {Adam Shepherd and Robert Arko and Adila Krisnadhi and Pascal Hitzler and Krzysztof Janowicz and Cynthia Chandler and Thomas Narock and Michelle Cheatham and Mark Schildhauer and Matthew Jones and Lisa Raymond and Audrey Mickle and Timothy Finin and Douglas Fils} } @conference {390, title = {An Ontology For Specifying Spatiotemporal Scopes in Life Cycle Assessment}, booktitle = {Proceedings of the 1st International Diversity++ Workshop co-located with the 14th International Semantic Web Conference (ISWC 2015), Bethlehem, Pennsylvania, USA, October 12, 2015}, volume = {1501}, year = {2015}, month = {10/2015}, pages = {25-30}, publisher = {CEUR-WS.org}, organization = {CEUR-WS.org}, url = {http://ceur-ws.org/Vol-1501/Diversity2015-paper_4.pdf}, author = {Bo Yan and Yingjie Hu and Brandon Kuczenski and Krzsyztof Janowicz and Andrea Ballatore and Adila Krisnadhi and Pascal Hitzler and Sangwon Suh and Wesley Ingwersen}, editor = {Claudia d{\textquoteright}Amato and Freddy L{\'e}cu{\'e} and Raghava Mutharaju and Thomas Narock and Fabian Wirth} } @conference {486, title = {Ontology modeling with domain experts: The GeoVoCamp experience}, booktitle = {Diversity++ 2015, Proceedings of the 1st International Diversity++ Workshop co-located with the 14th International Semantic Web Conference (ISWC 2015), Bethlehem, Pennsylvania, USA, October 12, 2015}, year = {2015}, author = {Pascal Hitzler and Krzysztof Janowicz and Adila Krisnadhi} } @inbook {385, title = {Ontology Pattern Modeling for Cross-Repository Data Integration in the Ocean Sciences: The Oceanographic Cruise Example}, booktitle = {The Semantic Web in Earth and Space Science: Current Status and Future Directions}, year = {2015}, pages = {256-284}, publisher = {IOS Press}, organization = {IOS Press}, abstract = {EarthCube is a major effort of the National Science Foundation to establish a next-generation knowledge architecture for the broader geosciences. Data storage, retrieval, access, and reuse are central parts of this new effort. Currently, EarthCube is organized around several building blocks and research coordination networks. OceanLink is a semantics-enabled building block that aims at improving data retrieval and reuse via ontologies, Semantic Web technologies, and Linked Data for the ocean sciences. Cruises, in the sense of research expeditions, are central events for ocean scientists. Consequently, information about these cruises and the involved vessels is of primary interest for oceanographers, and thus, needs to be shared and made retrievable. In this paper, we report the use of a design pattern-centric strategy to model Cruise for OceanLink data integration. We provide a formal axiomatization of the introduced pattern using the Web Ontology Language, explain design choices and discuss the planned deployment and application scenarios of our model.}, author = {Adila Krisnadhi and Robert Arko and Suzanne Carbotte and Cynthia Chandler and Michelle Cheatham and Timothy Finin and Pascal Hitzler and Krzysztof Janowicz and Thomas Narock and Lisa Raymond and Adam Shepherd and Peter Wiebe} } @mastersthesis {598, title = {Ontology Pattern-Based Data Integration}, volume = {Doctor of Philosophy}, year = {2015}, month = {12/2015}, pages = {233}, school = {Wright State University}, type = {Dissertation}, address = {Dayton}, abstract = {

Data integration is concerned with providing a unified access to data residing at multiple sources. Such a unified access is realized by having a global schema and a set of mappings between the global schema and the local schemas of each data source, which specify how user queries at the global schema can be translated into queries at the local schemas. Data sources are typically developed and maintained independently, and thus, highly heterogeneous. This causes difficulties in integration because of the lack of interoperability in the aspect of architecture, data format, as well as syntax and semantics of the data.

This dissertation represents a study on how small, self-contained ontologies, called ontology design patterns, can be employed to provide semantic interoperability in a cross-repository data integration system. The idea of this so-called ontology pattern- based data integration is that a collection of ontology design patterns can act as the global schema that still contains sufficient semantics, but is also flexible and simple enough to be used by linked data providers. On the one side, this differs from existing ontology-based solutions, which are based on large, monolithic ontologies that provide very rich semantics, but enforce too restrictive ontological choices, hence are shunned by many data providers. On the other side, this also differs from the purely linked data based solutions, which do offer simplicity and flexibility in data publishing, but too little in terms of semantic interoperability.

We demonstrate the feasibility of this idea through the actual development of a large scale data integration project involving seven ocean science data repositories from five institutions in the U.S. In addition, we make two contributions as part of this dissertation work, which also play crucial roles in the aforementioned data integration project. First, we develop a collection of more than a dozen ontology design patterns that capture the key notions in the ocean science occurring in the participating data repositories. These patterns contain axiomatization of the key notions and were developed with an intensive involvement from the domain experts. Modeling of the patterns was done in a systematic workflow to ensure modularity, reusability, and flexibility of the whole pattern collection. Second, we propose the so-called pattern views that allow data providers to publish their data in very simple intermediate schema and show that they can greatly assist data providers to publish their data without requiring a thorough understanding of the axiomatization of the patterns.\ 

}, url = { http://rave.ohiolink.edu/etdc/view?acc_num=wright1453177798}, author = {Adila Krisnadhi} } @conference {383, title = {Pattern-Based Linked Data Publication: The Linked Chess Dataset Case}, booktitle = {Proceedings of the 6th International Workshop on Consuming Linked Data co-located with 14th International Semantic Web Conference (ISWC 2015), Bethlehem, Pennsylvania, US, October 12th, 2015}, volume = {1426}, year = {2015}, month = {10/2015}, publisher = {CEUR-WS.org}, organization = {CEUR-WS.org}, type = {Technical Report}, abstract = {

This paper discusses the relationship between ontology design patterns (ODPs), data models and linked data, proposing a method that simplifies the task of publishing linked data while adhering to good modeling practices that reuse well-studied ODPs. The proposed process simplifies the tasks of the domain experts but preserves the integrity of the design patterns, favoring a well-designed and well documented data model which fosters data reuse. The work is illustrated with a linked dataset of two million chess games, with the key information mapped to other linked datasets and supported by formalized design patterns. This is the first time a chess dataset is presented as linked data, and an insight on its usefulness is given.

}, url = {http://dase.cs.wright.edu/publications/pattern-based-linked-data-publication-linked-chess-dataset-case}, author = {V{\'\i}ctor Rodr{\'\i}guez-Doncel and Adila Krisnadhi and Pascal Hitzler and Michelle Cheatham and Nazifa Karima and Reihaneh Amini}, editor = {Olaf Hartig and Juan Sequeda and Aidan Hogan} } @proceedings {487, title = {Proceedings of the 6th Workshop on Ontology and Semantic Web Patterns (WOP 2015) co-located with the 14th International Semantic Web Conference (ISWC 2015), Bethlehem, Pensylvania, USA, October 11, 2015}, year = {2015}, author = {Eva Blomqvist and Pascal Hitzler and Adila Krisnadhi and Tom Narock and Monika Solanki} } @conference {391, title = {{R2R+BCO-DMO} {\textendash} Linked Oceanographic Datasets}, booktitle = {Proceedings of the 1st International Diversity++ Workshop co-located with the 14th International Semantic Web Conference (ISWC 2015), Bethlehem, Pennsylvania, USA, October 12, 2015}, volume = {1501}, year = {2015}, month = {10/2015}, pages = {15-24}, publisher = {CEUR-WS.org}, organization = {CEUR-WS.org}, abstract = {The Biological and Chemical Oceanography Data Management Office (BCO-DMO) and the Rolling Deck to Repository (R2R) program are two key data repositories for oceanographic research, supported by the U.S. National Science Foundation (NSF). R2R curates digital data and documentation generated by environmental sensor systems installed on vessels from the U.S. academic research fleet, with support from the NSF Oceanographic Technical Services and Arctic Research Logistics Programs. BCO-DMO human-curates and maintains data and metadata including biological, chemical, and physical measurements and results from projects funded by the NSF Biological Oceanography, Chemical Oceanography, and Antarctic Organisms \& Ecosystems Programs. These two repositories have a strong connection, and document several thousand U.S. oceanographic research expeditions since the 1970{\textquoteright}s. Recently, R2R and BCO-DMO have made their metadata collections available as Linked Data, accessible via public SPARQL endpoints. In this paper, we report on these datasets.}, author = {Adila Krisnadhi and Robert Arko and Suzanne Carbotte and Cynthia Chandler and Michelle Cheatham and Pascal Hitzler and Yingjie Hu and Krzysztof Janowicz and Peng Ji and Nazifa Karima and Adam Shepherd and Peter Wiebe}, editor = {Claudia d{\textquoteright}Amato and Freddy L{\'e}cu{\'e} and Raghava Mutharaju and Thomas Narock and Fabian Wirth} } @conference {133, title = {All But Not Nothing: Left-Hand Side Universals for Tractable {OWL} Profiles}, booktitle = {Proceedings of the 11th International Workshop on OWL: Experiences and Directions (OWLED 2014) co-located with 13th International Semantic Web Conference on (ISWC 2014), Riva del Garda, Italy, October 17-18, 2014.}, volume = {1265}, year = {2014}, month = {10/2014}, pages = {97-108}, publisher = {CEUR-WS.org}, organization = {CEUR-WS.org}, abstract = {We show that occurrences of the universal quantifier in the left-hand side of general concept inclusions can be rewritten into EL++ axioms under certain circumstances. I.e., this intuitive modeling feature is available for OWL EL while retaining tractability. Furthermore, this rewriting makes it possible to reason over corresponding extensions of EL++ and Horn-SROIQ using standard reasoners.}, keywords = {description logics, Horn Logics, OWL}, url = {http://ceur-ws.org/Vol-1265/owled2014_submission_13.pdf}, author = {David Carral and Adila Krisnadhi and Sebastian Rudolph and Pascal Hitzler}, editor = {C. Maria Keet and Valentina A. M. Tamma} } @proceedings {147, title = {Artificial Intelligence: Methodology, Systems, and Applications - 16th International Conference, AIMSA 2014, Varna, Bulgaria, September 11-13, 2014. Proceedings}, journal = {AIMSA 2014}, volume = {8722}, year = {2014}, publisher = {Springer}, isbn = {978-3-319-10553-6}, doi = {10.1007/978-3-319-10554-3}, url = {http://dx.doi.org/10.1007/978-3-319-10554-3}, editor = {Gennady Agre and Pascal Hitzler and Adila Krisnadhi and Sergei O. Kuznetsov} } @inbook {148, title = {Description Logics}, booktitle = {Encyclopedia of Social Network Analysis and Mining}, year = {2014}, pages = {346-351}, publisher = {Springer}, organization = {Springer}, doi = {10.1007/978-1-4614-6170-8_108}, url = {http://dx.doi.org/10.1007/978-1-4614-6170-8_108}, author = {Adila Krisnadhi and Pascal Hitzler} } @conference {320, title = {The OceanLink Project}, booktitle = {American Geophysical Union Fall Meeting, San Francisco, 15-19 December 2014}, year = {2014}, author = {Thomas Narock and Robert Arko and Suzanne Carbotte and Cynthia Chandler and Michelle Cheatham and Timothy Finin and Pascal Hitzler and Adila Krisnadhi and Lisa Raymond and Adam Shepherd and Peter Wiebe} } @conference {144, title = {The {OceanLink} project}, booktitle = {2014 IEEE International Conference on Big Data, Big Data 2014, Washington, DC, USA, October 27-30, 2014}, year = {2014}, month = {10/2014}, pages = {14-21}, publisher = {{IEEE}}, organization = {{IEEE}}, abstract = {Today{\textquoteright}s scientific investigations are producing large numbers of scholarly products. These products continue to increase in diversity and complexity as researchers recognize that scholarly achievements are not only published articles but also datasets, software, and associated supporting materials. OceanLink is an online platform that addresses scholarly discovery and collaboration in the ocean sciences. The OceanLink project leverages Semantic Web technologies, web mining, and crowdsourcing to identify links between data centers, digital repositories, and professional societies to enhance discovery, enable collaboration, and begin to assess research contribution.}, isbn = {978-1-4799-5665-4}, doi = {10.1109/BigData.2014.7004347}, url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6973861}, author = {Thomas Narock and Robert Arko and Suzanne Carbotte and Adila Krisnadhi and Pascal Hitzler and Michelle Cheatham and Adam Shepherd and Cynthia Chandler and Lisa Raymond and Peter Wiebe and Timothy Finin}, editor = {Jimmy Lin and Jian Pei and Xiaohua Hu and Wo Chang and Raghunath Nambiar and Charu Aggarwal and Nick Cercone and Vasant Honavar and Jun Huan and Bamshad Mobasher and Saumyadipta Pyne} } @conference {145, title = {An Ontology Design Pattern for Cooking Recipes - Classroom Created}, booktitle = {Proceedings of the 5th Workshop on Ontology and Semantic Web Patterns (WOP2014) co-located with the 13th International Semantic Web Conference (ISWC 2014), Riva del Garda, Italy, October 19, 2014.}, volume = {1302}, year = {2014}, month = {10/2014}, pages = {49-60}, publisher = {CEUR-WS.org}, organization = {CEUR-WS.org}, abstract = {We present a description and result of an ontology modeling process taken to the classroom. The application domain considered was cooking recipes. The modeling goal was to bridge heterogeneity across representational choices by developing a content ontology design pattern which is general enough to allow for the integration of information from different web sites. We will discuss the pattern developed, and report on corresponding insights and lessons learned.}, url = {http://ceur-ws.org/Vol-1302}, author = {Monica Sam and Adila Krisnadhi and Cong Wang and John C. Gallagher and Pascal Hitzler}, editor = {de Boer, Victor and Aldo Gangemi and Krzysztof Janowicz and Agnieszka Lawrynowicz} } @conference {146, title = {An Ontology Design Pattern for Material Transformation}, booktitle = {Proceedings of the 5th Workshop on Ontology and Semantic Web Patterns (WOP2014) co-located with the 13th International Semantic Web Conference (ISWC 2014), Riva del Garda, Italy, October 19, 2014.}, volume = {1302}, year = {2014}, month = {10/2014}, pages = {73-77}, publisher = {CEUR-WS.org}, organization = {CEUR-WS.org}, abstract = {In this work we discuss an ontology design pattern for material transformations. It models the relation between products, resources, and catalysts in the transformation process. Our axiomatization goes beyond a mere surface semantics. While we focus on the construction domain, the pattern can also be applied to chemistry and other domains.}, url = {http://ceur-ws.org/Vol-1302}, author = {Charles Vardeman and Adila Krisnadhi and Michelle Cheatham and Krzysztof Janowicz and Holly Ferguson and Pascal Hitzler and Aimee Buccellato and Krishnaprasad Thirunarayan and Gary Berg-Cross and Torsten Hahmann}, editor = {de Boer, Victor and Aldo Gangemi and Krzysztof Janowicz and Agnieszka Lawrynowicz} } @conference {399, title = {Ontology Design Patterns for Ocean Science Data Discovery}, booktitle = {Spatial reference in the Semantic Web and in Robotics (Dagstuhl Seminar 14142)}, volume = {3}, year = {2014}, author = {Pascal Hitzler and Adila Krisnadhi and Robert Arko and Suzanne Carbotte and Cynthia Chandler and Michelle Cheatham and Timothy Finin and Krzysztof Janowicz and Thomas Narock and Lisa Raymond and Adam Shepherd and Peter Wiebe}, editor = {Aldo Gangemi and Verena V. Hafner and Werner Kuhn and Simon Scheider and Luc Steels} } @article {306, title = {An Ontology Pattern for Oceanograhic Cruises: Towards an Oceanographer{\textquoteright}s Dream of Integrated Knowledge Discovery}, year = {2014}, abstract = {

EarthCube is a major effort of the National Science Foundation to establish a next-generation knowledge architecture for the broader geosciences. Data storage, retrieval, access, and reuse are central parts of this new effort. Currently, EarthCube is organized around several building blocks and research coordination networks. OceanLink is a semanticsenabled building block that aims at improving data retrieval and reuse via ontologies, Semantic Web technologies, and Linked Data for the ocean sciences. Cruises, in the sense of research expeditions, are central events for ocean scientists. Consequently, information about these cruises and the involved vessels has to be shared and made retrievable. For example, the ability to find cruises in the vicinity of physiographic features of interest, e.g., a hydrothermal vent field or a fracture zone, is of primary interest for oceanographers. In this paper, we use a design pattern-centric strategy to engineer ontologies for OceanLink. We provide a formal axiomatization of the introduced patterns and ontologies using the Web Ontology Language, explain design choices, discuss the re-usability of our models, and provide lessons learned for the future geo-ontologies.

}, author = {Adila Krisnadhi and Robert Arko and Suzanne Carbotte and Cynthia Chandler and Michelle Cheatham and Timothy Finin and Pascal Hitzler and Krzysztof Janowicz and Thomas Narock and Lisa Raymond and Adam Shepherd and Peter Wiebe} } @conference {318, title = {Provenance Usage in the OceanLink Project}, booktitle = {American Geophysical Union Fall Meeting, San Francisco, 15-19 December 2014.}, year = {2014}, author = {Thomas Narock and Robert Arko and Suzanne Carbotte and Cynthia Chandler and Michelle Cheatham and Douglas Fils and Timothy Finin and Pascal Hitzler and Krzysztof Janowicz and Matthew Jones and Adila Krisnadhi and Kerstin Lehnert and Audrey Mickle and Lisa Raymond and Mark Schildhauer and Adam Shepherd and Peter Wiebe} } @conference {287, title = {Semantic Entity Pairing for Improved Data Validation and Discovery}, booktitle = { European Geosciences Union General Assembly 2014, Vienna, Austria, 27 April - 02 May 2014}, volume = {16}, year = {2014}, month = {05/2014}, pages = {2476}, abstract = {

One of the central incentives for linked data implementations is the opportunity to leverage the rich logic inherent in structured data. The logic embedded in semantic models can strengthen capabilities for data discovery and data validation when pairing entities from distinct, contextually-related datasets. The creation of links between the two datasets broadens data discovery by using the semantic logic to help machines compare similar entities and properties that exist on different levels of granularity. This semantic capability enables appropriate entity pairing without making inaccurate assertions as to the nature of the relationship. Entity pairing also provides a context to accurately validate the correctness of an entity{\textquoteright}s property values - an exercise highly valued by data management practices who seek to ensure the quality and correctness of their data. The Biological and Chemical Oceanography Data Management Office (BCO-DMO) semantically models metadata surrounding oceanographic researchcruises, but other sources outside of BCO-DMO exist that also model metadata about these same cruises. For BCO-DMO, the process of successfully pairing its entities to these sources begins by selecting sources that are decidedly trustworthy and authoritative for the modeled concepts. In this case, the Rolling Deck to Repository (R2R) program has a well-respected reputation among the oceanographic research community, presents a data context that is uniquely different and valuable, and semantically models its cruise metadata. Where BCO-DMO exposes the processed, analyzed data products generated by researchers, R2R exposes the raw shipboard data that was collected on the same research cruises. Interlinking these cruise entities expands data discovery capabilities but also allows for validating the contextual correctness of both BCO-DMO{\textquoteright}s and R2R{\textquoteright}s cruise metadata. Assessing the potential for a link between two datasets for a similar entity consists of aligning like properties and deciding on the appropriate semantic markup to describe the link. This highlights the desire for research organizations like BCO-DMO and R2R to ensure the complete accuracy of their exposed metadata, as it directly reflects on their reputations as successful and trustworthy source of research data. Therefore, data validation reaches beyond simple syntax of property values into contextual correctness. As a human process, this is a time-intensive task that does not scale well for finite human and funding resources. Therefore, to assess contextual correctness across datasets at different levels of granularity, BCO-DMO is developing a system that employs semantic technologies to aid the human process by organizing potential links and calculating a confidence coefficient as to the correctness of the potential pairing based on the distance between certain entity property values. The system allows humans to quickly scan potential links and their confidence coefficients for asserting persistence and correcting and investigating misaligned entity property values.

}, author = {Adam Shepherd and Cynthia Chandler and Robert Arko and Yanning Chen and Adila Krisnadhi and Pascal Hitzler and Thomas Narock and Robert Groman and Shannon Rauch} } @conference {319, title = {Using Linked Open Data and Semantic Integration to Search Across Geoscience Repositories.}, booktitle = {American Geophysical Union Fall Meeting, San Francisco, 15-19 December 2014}, year = {2014}, author = {Lisa Raymond and Adam Shepherd and Robert Arko and Suzanne Carbotte and Cynthia Chandler and Michelle Cheatham and Douglas Fils and Pascal Hitzler and Krzysztof Janowicz and Matthew Jones and Adila Krisnadhi and Kerstin Lehnert and Audrey Mickle and Thomas Narock and Mark Schildhauer and Peter Wiebe} } @conference {129, title = {An Ontology Design Pattern for Cartographic Map Scaling}, booktitle = {The Semantic Web: Semantics and Big Data, 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings}, volume = {7882}, year = {2013}, pages = {76{\textendash}93}, publisher = {Springer}, organization = {Springer}, abstract = {

The concepts of scale is at the core of cartographic abstraction and mapping. It defines which geographic phenomena should be displayed, which type of geometry and map symbol to use, which measures can be taken, as well as the degree to which features need to be exaggerated or spatially displaced. In this work, we present an ontology design pattern for map scaling using the Web Ontology Language (OWL) within a particular extension of the OWL RL profile. We explain how it can be used to describe scaling applications, to reason over scale levels, and geometric representations. We propose an axiomatization that allows us to impose meaningful constraints on the pattern, and, thus, to go beyond simple surface semantics. Interestingly, this includes several functional constraints currently not expressible in any of the OWL profiles. We show that for this specific scenario, the addition of such constraints does not increase the reasoning complexity which remains tractable.

}, keywords = {Map Scaling, Ontology Design Patterns, OWL}, doi = {10.1007/978-3-642-38288-8_6}, url = {http://dx.doi.org/10.1007/978-3-642-38288-8_6}, author = {David Carral and Simon Scheider and Krzysztof Janowicz and Charles Vardeman and Adila Krisnadhi and Pascal Hitzler}, editor = {Philipp Cimiano and {\'O}scar Corcho and Valentina Presutti and Laura Hollink and Sebastian Rudolph} } @conference {125, title = {Integrating {OWL} and Rules: A Syntax Proposal for Nominal Schemas}, booktitle = {Proceedings of OWL: Experiences and Directions Workshop 2012, Heraklion, Crete, Greece, May 27-28, 2012}, volume = {849}, year = {2012}, month = {05/2012}, publisher = {CEUR-WS.org}, organization = {CEUR-WS.org}, abstract = {This paper proposes an addition to OWL 2 syntax to incorporate nominal schemas, which is a new description-logic style extension of OWL 2 which was recently proposed, and which makes is possible to express {\textquotedblleft}variable nominal classes{\textquotedblright} within axioms in an OWL 2 ontology. Nominal schemas make it possible to express DL-safe rules of arbitrary arity within the extended OWL paradigm, hence covering the well-known DL-safe SWRL language. To express this feature, we extend OWL 2 syntax to include necessary and minimal modifications to both Functional and Manchester syntax grammars and mappings from these two syntaxes to Turtle/RDF. We also include several examples to clarify the proposal.}, url = {http://ceur-ws.org/Vol-849/paper_6.pdf}, author = {David Carral and Adila Krisnadhi and Pascal Hitzler}, editor = {Pavel Klinov and Matthew Horridge} } @conference {170, title = {Konf Connect}, booktitle = {Metadata Challenge at the 21st International Conference on World Wide Web (WWW 2012)}, year = {2012}, address = {Lyon, France}, abstract = {

We present an application called Konf-Connect to improve\ the conference attending experience of the people who attend a conference. This tool provides search facilities to nd people with similar\ interests. The application makes use of Semantic Web dog food dataset\ to gather information regarding the conference at hand. This is helpful for people attending the conference who are looking for networking\ opportunities with people having expertise in the specic areas of interest. The application can also be extended to be used as general purpose\ expert search system.

}, author = {David Carral and Joshi, Amit Krishna and Adila Krisnadhi and Raghava Mutharaju and Kunal Sengupta and Cong Wang} } @article {216, title = {Reasoning Approaches for Nominal Schemas}, volume = {Poster and Demonstration Proceedings}, year = {2012}, publisher = {JIST}, address = {Nara, Japan}, author = {Cong Wang and Adila Krisnadhi and David Carral and Pascal Hitzler} } @conference {124, title = {Recent Advances in Integrating {OWL} and Rules}, booktitle = {Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings}, volume = {7497}, year = {2012}, month = {09/2012}, pages = {225-228}, publisher = {Springer}, organization = {Springer}, address = {Austria, Vienna}, abstract = {As part of the quest for a unifying logic for the Semantic Web Technology Stack, a central issue is finding suitable ways of integrating description logics based on the Web Ontology Language (OWL) with rule-based approaches based on logic programming. Such integration is difficult since naive approaches typically result in the violation of one or more desirable design principles. For example, while both OWL 2 DL and RIF Core (a dialect of the Rule Interchange Format RIF) are decidable, their naive union is not, unless carefully chosen syntactic restrictions are applied. We report on recent advances and ongoing work by the authors in integrating OWL and rulesWe take an OWL-centric perspective, which means that we take OWL 2 DL as a starting point and pursue the question of how features of rulebased formalisms can be added without jeopardizing decidability. We also report on incorporating the closed world assumption and on reasoning algorithms. This paper essentially serves as an entry point to the original papers, to which we will refer throughout, where detailed expositions of the results can be found.}, keywords = {description logics, OWL, Rules}, doi = {10.1007/978-3-642-33203-6_20}, url = {http://dx.doi.org/10.1007/978-3-642-33203-6_20}, author = {Matthias Knorr and David Carral and Pascal Hitzler and Adila Krisnadhi and Frederick Maier and Cong Wang}, editor = {Markus Kr{\"o}tzsch and Umberto Straccia} } @conference {19, title = {A Tableau Algorithm for Description Logics with Nominal Schemas}, booktitle = {Web Reasoning and Rule Systems, 6th International Conference, RR2012, Vienna, Austria, September 10-12, 2012, Proceedings}, volume = {7497}, year = {2012}, month = {09/2012}, pages = {234-237}, publisher = {Springer}, organization = {Springer}, abstract = {

We present a tableau algorithm for the description logic\ ALCOV. This description logic is obtained by extending the description\ logic ALCO with the expressive nominal schema construct that enables\ DL-safe datalog with predicates of arbitrary arity to be covered within\ the description logic framework. The tableau algorithm provides a basis to implement a delayed grounding strategy which was not facilitated\ by earlier versions of decision procedures for satisfiability in expressive\ description logics with nominal schemas.

}, doi = {10.1007/978-3-642-33203-6_22}, author = {Adila Krisnadhi and Pascal Hitzler}, editor = {Markus Kr{\"o}tzsch and Umberto Straccia} } @conference {139, title = {A Better Uncle for {OWL}: Nominal Schemas for Integrating Rules and Ontologies}, booktitle = {Proceedings of the 20th International Conference on World Wide Web, WWW 2011, Hyderabad, India, March 28 - April 1, 2011}, year = {2011}, month = {03/2011}, pages = {645-654}, publisher = {ACM}, organization = {ACM}, abstract = {We propose a description-logic style extension of OWL 2 with nominal schemas which can be used like "variable nominal classes" within axioms. This feature allows ontology languages to express arbitrary DL-safe rules (as expressible in SWRL or RIF) in their native syntax. We show that adding nominal schemas to OWL 2 does not increase the worst-case reasoning complexity, and we identify a novel tractable language SROELV3(\cap, x) that is versatile enough to capture the lightweight languages OWL EL and OWL RL.}, keywords = {datalog, Description Logic, Semantic Web Rule Language, SROIQ, tractability, Web Ontology Language}, isbn = {978-1-4503-0632-4}, doi = {10.1145/1963405.1963496}, url = {http://doi.acm.org/10.1145/1963405.1963496}, author = {Markus Kr{\"o}tzsch and Frederick Maier and Adila Krisnadhi and Pascal Hitzler}, editor = {Sadagopan Srinivasan and Krithi Ramamritham and Arun Kumar and M. P. Ravindra and Elisa Bertino and Ravi Kumar} } @conference {141, title = {Local Closed World Semantics: Grounded Circumscription for Description Logics}, booktitle = {Web Reasoning and Rule Systems - 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Proceedings}, volume = {6902}, year = {2011}, month = {08/2011}, pages = {263-268}, publisher = {Springer}, organization = {Springer}, abstract = {We present an improved local closed world extension for description logics. It is based on circumscription, and deviates from previous circumscriptive description logics in that extensions of minimized predicates may contain only extensions of named individuals in the knowledge base. Besides an (arguably) higher intuitive appeal, the improved semantics is applicable to expressive description logics without loss of decidability.}, isbn = {978-3-642-23579-5}, doi = {10.1007/978-3-642-23580-1}, url = {http://dx.doi.org/10.1007/978-3-642-23580-1}, author = {Adila Krisnadhi and Kunal Sengupta and Pascal Hitzler}, editor = {Sebastian Rudolph and Claudio Gutierrez} } @conference {48, title = {Local Closed World Semantics: Grounded Circumscription for {OWL}}, booktitle = {The Semantic Web - ISWC 2011 - 10th International Semantic Web Conference, Bonn, Germany, October 23-27, 2011, Proceedings, Part I}, volume = {7031}, year = {2011}, month = {10/2011}, pages = {617-632}, publisher = {Springer}, organization = {Springer}, abstract = {We present a new approach to adding closed world reasoning to the Web Ontology Language OWL. It transcends previous work on circumscriptive description logics which had the drawback of yielding an undecidable logic unless severe restrictions were imposed. In particular, it was not possible, in general, to apply local closure to roles. In this paper, we provide a new approach, called grounded circumscription, which is applicable to SROIQ and other description logics around OWL without these restrictions. We show that the resulting language is decidable, and we derive an upper complexity bound. We also provide a decision procedure in the form of a tableaux algorithm.}, doi = {10.1007/978-3-642-25073-6_39}, author = {Kunal Sengupta and Adila Krisnadhi and Pascal Hitzler}, editor = {Lora Aroyo and Chris Welty and Harith Alani and Jamie Taylor and Abraham Bernstein and Lalana Kagal and Natasha F. Noy and Eva Blomqvist} } @conference {143, title = {Local Closed World Semantics: Keep it simple, stupid!}, booktitle = {Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011}, volume = {745}, year = {2011}, month = {07/2011}, publisher = {CEUR-WS.org}, organization = {CEUR-WS.org}, abstract = {A combination of open and closed-world reasoning (usually called local closed world reasoning) is a desirable capability of knowledge representation formalisms for Semantic Web applications. However, none of the proposals made to date for extending description logics with local closed world capabilities has had any significant impact on applications. We believe that one of the key reasons for this is that current proposals fail to provide approaches which are intuitively accessible for application developers and at the same time are applicable, as extensions, to expressive description logics such as SROIQ, which underlies the Web Ontology Language OWL. In this paper we propose a new approach which overcomes key limitations of other major proposals made to date. It is based on an adaptation of circumscriptive description logics which, in contrast to previously reported circumscription proposals, is applicable to SROIQ without rendering reasoning over the resulting language undecidable.}, keywords = {circumscription, closed world, decidability, Description Logic}, url = {http://ceur-ws.org/Vol-745/paper_12.pdf}, author = {Adila Krisnadhi and Kunal Sengupta and Pascal Hitzler}, editor = {Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev} } @conference {142, title = {Nominal Schemas for Integrating Rules and Description Logics}, booktitle = {Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011}, volume = {745}, year = {2011}, month = {07/2011}, publisher = {CEUR-WS.org}, organization = {CEUR-WS.org}, abstract = {We propose an extension of SROIQ with nominal schemas which can be used like {\textquotedblleft}variable nominal concepts{\textquotedblright} within axioms. This feature allows us to express arbitrary DL-safe rules in description logic syntax. We show that adding nominal schemas to SROIQ does not increase its worst-case reasoning complexity, and we identify a family of tractable DLs SROELVn that allow for restricted use of nominal schemas.}, url = {http://ceur-ws.org/Vol-745/paper_39.pdf}, author = {Markus Kr{\"o}tzsch and Frederick Maier and Adila Krisnadhi and Pascal Hitzler}, editor = {Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev} } @conference {140, title = {{OWL} and Rules}, booktitle = {Reasoning Web. Semantic Technologies for the Web of Data - 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011, Tutorial Lectures}, volume = {6848}, year = {2011}, month = {08/2011}, pages = {382-415}, publisher = {Springer}, organization = {Springer}, abstract = {The relationship between the Web Ontology Language OWL and rule-based formalisms has been the subject of many discussions and research investigations, some of them controversial. From the many attempts to reconcile the two paradigms, we present some of the newest developments. More precisely, we show which kind of rules can be modeled in the current version of OWL, and we show how OWL can be extended to incorporate rules. We finally give references to a large body of work on rules and OWL. }, isbn = {978-3-642-23031-8}, doi = {10.1007/978-3-642-23032-5}, url = {http://dx.doi.org/10.1007/978-3-642-23032-5}, author = {Adila Krisnadhi and Frederick Maier and Pascal Hitzler}, editor = {Axel Polleres and Claudia d{\textquoteright}Amato and Marcelo Arenas and Siegfried Handschuh and Paula Kroner and Sascha Ossowski and Peter F. Patel-Schneider} } @conference {137, title = {Data Complexity in the {EL} Family of Description Logics}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings}, volume = {4790}, year = {2007}, month = {10/2007}, pages = {333-347}, publisher = {Springer}, organization = {Springer}, abstract = {We study the data complexity of instance checking and conjunctive query answering in the EL family of description logics, with a particular emphasis on the boundary of tractability. We identify a large number of intractable extensions of EL, but also show that in ELIf , the extension of EL with inverse roles and global functionality, conjunctive query answering is tractable regarding data complexity. In contrast, already instance checking in EL extended with only inverse roles or global functionality is EXPTIME-complete regarding combined complexity}, doi = {10.1007/978-3-540-75560-9_25}, url = {http://dx.doi.org/10.1007/978-3-540-75560-9_25}, author = {Adila Krisnadhi and Carsten Lutz}, editor = {Nachum Dershowitz and Andrei Voronkov} } @conference {138, title = {Data Complexity in the {EL} family of DLs}, booktitle = {Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007}, volume = {250}, year = {2007}, month = {06/2007}, publisher = {CEUR-WS.org}, organization = {CEUR-WS.org}, url = {http://ceur-ws.org/Vol-250/paper_15.pdf}, author = {Adila Krisnadhi and Carsten Lutz}, editor = {Diego Calvanese and Enrico Franconi and Volker Haarslev and Domenico Lembo and Boris Motik and Anni-Yasmin Turhan and Sergio Tessaris} } @mastersthesis {136, title = {Data Complexity of Instance Checking in the {EL} Family of Description Logics}, volume = {Master of Science}, year = {2007}, month = {03/2007}, pages = {v+68}, school = {Technische Universit{\"a}t Dresden}, type = {Master{\textquoteright}s}, address = {Dresden}, abstract = {Subsumption in the description logic (DL) EL is known to be tractable even when it is done with respect to the most general form of terminology, namely a set of general inclusion axioms (GCIs). Recently, this tractability boundary has been clarified by identifying DL constructors that causes intractability of subsumption when added to EL and that do not. These results provide us with a characterization of the complexity of subsumption for the EL family of DLs (i.e., EL and its extensions). Besides subsumption, there are other standard reasoning problems studied in DL. Among them, the instance checking problem is the most basic reasoning problem that is concerned with deriving implicit knowledge about individuals in a DL knowledge base. Such a knowledge base consists of an intensional part in the form of a terminology (TBox) and an extensional or data part in the form of assertions about particular individuals in the domain of the knowledge base (ABox). Like other reasoning problems, complexity of instance checking is usually measured in the size of the whole input - thus called combined complexity - which, in this case, consists of a TBox, an ABox, a query concept and an individual name. On the other hand, it is common to assume that the data (ABox) is very large compared to the TBox and the query. Therefore, it is often more realistic to use a complexity measure based only on the size of the ABox, i.e., data complexity. For the EL family, results for the combined complexity of instance checking can be derived from the complexity results for subsumption. But results which are concerned with data complexity are still lacking. This motivates us to investigate the data complexity of instance checking in the EL family. In particular, we are interested in whether there are extensions of EL which are intractable regarding combined complexity, but tractable regarding data complexity. The first part of this thesis establishes coNP-hardness (and even coNP-completeness) results regarding data complexity of instance checking w.r.t. sets of GCIs for extensions of EL with negation, disjunction, value restriction, number restriction and role constructors such as role negation, role union and transitive closures. The lower bounds of data complexity for these DLs are proved by polynomial reductions from the complement of 2+2-SAT, a variant of propositional satisfiability problem which is NP-complete, whereas the upper bounds follow from known results of data complexity for ALC and SHIQ. The second part identifies an extension of EL called ELIf, for which data complexity of instance checking w.r.t. sets of GCIs is tractable. The DL ELIf is obtained from EL by adding inverse roles and global functionality. This result is interesting since adding only one of those two constructors leads to intractability of reasoning w.r.t. combined complexity. The result is derived by giving an algorithm that decides instance checking in ELIf w.r.t. sets of GCIs and runs in time polynomial in the size of the input ABox.}, url = {http://lat.inf.tu-dresden.de/research/mas/$\#$Kri-Mas-07}, author = {Adila Krisnadhi} }