TY - JOUR T1 - GeoLink Dataset: A Complex Alignment Benchmark from Real-world Ontology JF - Data Intelligence Y1 - 2020 A1 - Lu Zhou A1 - Michelle Cheatham A1 - Adila Krisnadhi A1 - Pascal Hitzler ER - TY - CHAP T1 - Modular Ontology Modeling: A Tutorial T2 - Applications and Practices in Ontology Design, Extraction, and Reasoning Y1 - 2020 A1 - Cogan Shimizu A1 - Pascal Hitzler A1 - Adila Krisnadhi AB -

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.

JF - Applications and Practices in Ontology Design, Extraction, and Reasoning PB - IOS Press VL - 49 ER - TY - CONF T1 - A Method for Automatically Generating Schema Diagrams for OWL Ontologies T2 - 1st Iberoamerican Knowledge Graph and Semantic Web Conference (KGSWC) Y1 - 2019 A1 - Cogan Shimizu A1 - Aaron Eberhart A1 - Nazifa Karima A1 - Quinn Hirt A1 - Adila Krisnadhi A1 - Pascal Hitzler KW - design patterns KW - evaluation KW - implementation KW - ontology KW - schema diagrams KW - visualization AB -

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.

JF - 1st Iberoamerican Knowledge Graph and Semantic Web Conference (KGSWC) PB - Springer CY - Villa Clara, Cuba ER - TY - CONF T1 - A Complex Alignment Benchmark: Geolink dataset T2 - ISWC Y1 - 2018 A1 - Lu Zhou A1 - Michelle Cheatham A1 - Adila Krisnadhi A1 - Pascal Hitzler JF - ISWC PB - Springer ER - TY - JOUR T1 - The GeoLink Knowledge Graph JF - Big Earth Data Y1 - 2018 A1 - Michelle Cheatham A1 - Adila Krisnadhi A1 - Reihaneh Amini A1 - Pascal Hitzler A1 - Krzysztof Janowicz A1 - Adam Shepherd A1 - Tom Narock A1 - Matt Jones A1 - Peng Ji ER - TY - JOUR T1 - The GeoLink Knowledge Graph JF - Big Earth Data Y1 - 2018 A1 - Michelle Cheatham A1 - Adila Krisnadhi A1 - Reihaneh Amini A1 - Pascal Hitzler A1 - Krzysztof Janowicz A1 - Adam Shepherd A1 - Tom Narock A1 - Matt Jones A1 - Peng Ji ER - TY - BOOK T1 - Advances in Ontology Design and Patterns T2 - Studies on the Semantic Web Y1 - 2017 A1 - Karl Hammar A1 - Pascal Hitzler A1 - Agnieszka Lawrynowicz A1 - Adila Krisnadhi A1 - Andrea Nuzzolese A1 - Monika Solanki JF - Studies on the Semantic Web PB - IOS Press CY - Amsterdam VL - 32 ER - TY - JOUR T1 - An Ontology Design Pattern and Its Use Case for Modeling Material Transformation JF - Semantic Web Y1 - 2017 A1 - Charles Vardeman A1 - Adila Krisnadhi A1 - Michelle Cheatham A1 - Krzysztof Janowicz A1 - Holly Ferguson A1 - Pascal Hitzler A1 - Aimee Buccellato VL - 8 IS - 5 ER - TY - ABST T1 - Rule-based OWL Modeling with ROWLTab Protege Plugin Y1 - 2017 A1 - Md Kamruzzaman Sarker A1 - Adila Krisnadhi A1 - David Carral A1 - Pascal Hitzler AB -

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.

ER - TY - CHAP T1 - Collected Research Questions Concerning Ontology Design Patterns T2 - Ontology Engineering with Ontology Design Patterns: Foundations and Applications Y1 - 2016 A1 - Karl Hammar A1 - Eva Blomqvist A1 - David Carral A1 - Marieke van Erp A1 - Antske Fokkens A1 - Aldo Gangemi A1 - Willem Robert van Hage A1 - Pascal Hitzler A1 - Krzysztof Janowicz A1 - Nazifa Karima A1 - Adila Krisnadhi A1 - Tom Narock A1 - Roxane Segers A1 - Monika Solanki A1 - Vojtech Svatek JF - Ontology Engineering with Ontology Design Patterns: Foundations and Applications PB - IOS Press CY - Amsterdam ER - TY - JOUR T1 - Considerations regarding Ontology Design Patterns JF - Semantic Web Y1 - 2016 A1 - Eva Blomqvist A1 - Pascal Hitzler A1 - Krzysztof Janowicz A1 - Adila Krisnadhi A1 - Thomas Narock A1 - Monika Solanki VL - 7 IS - 1 ER - TY - CHAP T1 - Introduction: Ontology Design Patterns in a Nutshell T2 - Ontology Engineering with Ontology Design Patterns: Foundations and Applications Y1 - 2016 A1 - Krzysztof Janowicz A1 - Aldo Gangemi A1 - Pascal Hitzler A1 - Adila Krisnadhi A1 - Valentina Presutti JF - Ontology Engineering with Ontology Design Patterns: Foundations and Applications PB - IOS Press CY - Amsterdam ER - TY - CONF T1 - Modeling OWL with Rules: The ROWL Protege Plugin Y1 - 2016 A1 - Md Kamruzzaman Sarker A1 - David Carral A1 - Adila Krisnadhi A1 - Pascal Hitzler AB -

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´ 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.

PB - 15th International Semantic Web Conference (ISWC) 2016 CY - Kobe, Japan UR - http://ceur-ws.org/Vol-1690/paper92.pdf ER - TY - CHAP T1 - Modeling With Ontology Design Patterns: Chess Games As a Worked Example T2 - Ontology Engineering with Ontology Design Patterns: Foundations and Applications Y1 - 2016 A1 - Adila Krisnadhi A1 - Pascal Hitzler JF - Ontology Engineering with Ontology Design Patterns: Foundations and Applications PB - IOS Press VL - 25 ER - TY - Generic T1 - Modular Ontology Architecture for Data Integration in the GeoLink Project Y1 - 2016 A1 - Adila Krisnadhi CY - Ontology Summit 2016 (online) UR - http://ontologforum.org/index.php?title=ConferenceCall_2016_02_25&oldid=22543#hid1C2C ER - TY - CHAP T1 - Ontology Design Patterns for Data Integration: The GeoLink Experience T2 - Ontology Engineering with Ontology Design Patterns: Foundations and Applications Y1 - 2016 A1 - Adila Krisnadhi JF - Ontology Engineering with Ontology Design Patterns: Foundations and Applications VL - 25 ER - TY - CHAP T1 - Ontology Design Patterns for Linked Data Publishing T2 - Ontology Engineering with Ontology Design Patterns: Foundations and Applications Y1 - 2016 A1 - Adila Krisnadhi A1 - Nazifa Karima A1 - Pascal Hitzler A1 - Reihaneh Amini A1 - Víctor Rodríguez-Doncel A1 - Krzysztof Janowicz JF - Ontology Engineering with Ontology Design Patterns: Foundations and Applications VL - 25 ER - TY - BOOK T1 - Ontology Engineering with Ontology Design Patterns: Foundations and Applications T2 - Studies On the Semantic Web Y1 - 2016 A1 - Pascal Hitzler A1 - Aldo Gangemi A1 - Krzysztof Janowicz A1 - Adila Krisnadhi A1 - Valentina Presutti JF - Studies On the Semantic Web PB - IOS Press CY - Amsterdam VL - 025 ER - TY - CONF T1 - OWLAx: A Protege Plugin to Support Ontology Axiomatization through Diagramming Y1 - 2016 A1 - Md Kamruzzaman Sarker A1 - Adila Krisnadhi A1 - Pascal Hitzler AB -

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´eg´e3 plugin which supports this task, together with a visual user interface, based on established methods for ontology design pattern modeling.

PB - 15th International Semantic Web Conference, ISWC2016, Kobe, Japan, October 2016 CY - Kobe, Japan UR - http://ceur-ws.org/Vol-1690/paper83.pdf ER - TY - CHAP T1 - The Role Patterns T2 - Ontology Engineering with Ontology Design Patterns: Foundations and Applications Y1 - 2016 A1 - Adila Krisnadhi JF - Ontology Engineering with Ontology Design Patterns: Foundations and Applications PB - IOS Press VL - 25 ER - TY - CHAP T1 - On the Roles of Logical Axiomatizations for Ontologies T2 - Ontology Engineering with Ontology Design Patterns: Foundations and Applications Y1 - 2016 A1 - Pascal Hitzler A1 - Adila Krisnadhi JF - Ontology Engineering with Ontology Design Patterns: Foundations and Applications PB - IOS Press CY - Amsterdam ER - TY - Generic T1 - Update on ESIP Testbed Project Y1 - 2016 A1 - Nazifa Karima A1 - Adila Krisnadhi A1 - Pascal Hitzler A1 - Tom Narock ER - TY - CONF T1 - EarthCube GeoLink: Semantics and Linked Data for the Geosciences T2 - 2015 American Geophysical Union Fall Meeting, San Francisco, 14-18 December 2015 Y1 - 2015 A1 - Robert A. Arko A1 - Suzanne Carbotte A1 - Cynthia Chandler A1 - Michelle Cheatham A1 - Douglas Fils A1 - Pascal Hitzler A1 - Krzysztof Janowicz A1 - Peng Ji A1 - Matthew Jones A1 - Adila Krisnadhi A1 - Kerstin Lehnert A1 - Audrey Mickle A1 - Tom Narock A1 - Margaret O'Brien A1 - Lisa Raymond A1 - Mark Schildhauer A1 - Adam Shepherd A1 - Peter Wiebe JF - 2015 American Geophysical Union Fall Meeting, San Francisco, 14-18 December 2015 ER - TY - Generic T1 - The GeoLink Framework for Pattern-based Linked Data Integration Y1 - 2015 A1 - Adila Krisnadhi A1 - Yingjie Hu A1 - Krzsyztof Janowicz A1 - Pascal Hitzler A1 - Robert Arko A1 - Suzanne Carbotte A1 - Cynthia Chandler A1 - Michelle Cheatham A1 - Douglas Fils A1 - Timothy Finin A1 - Peng Ji A1 - Matthew Jones A1 - Nazifa Karima A1 - Kerstin Lehnert A1 - Audrey Mickle A1 - Thomas Narock A1 - Margaret O'Brien A1 - Lisa Raymond A1 - Adam Shepherd A1 - Mark Schildhauer A1 - Peter Wiebe JF - Proceedings of the ISWC 2015 Posters & Demonstrations Track ER - TY - CONF T1 - The GeoLink Modular Oceanography Ontology T2 - The Semantic Web - ISWC 2015. 14th International Semantic Web Conference, Bethlehem, Pennsylvania, United States, October 11-15, 2015 Y1 - 2015 A1 - Adila Krisnadhi A1 - Yingjie Hu A1 - Krzysztof Janowicz A1 - Pascal Hitzler A1 - Robert Arko A1 - Suzanne Carbotte A1 - Cynthia Chandler A1 - Michelle Cheatham A1 - Douglas Fils A1 - Timothy Finin A1 - Peng Ji A1 - Matthew Jones A1 - Nazifa Karima A1 - Kerstin Lehnert A1 - Audrey Mickle A1 - Thomas Narock A1 - Margaret O'Brien A1 - Lisa Raymond A1 - Adam Shepherd A1 - Mark Schildhauer A1 - Peter Wiebe JF - The Semantic Web - ISWC 2015. 14th International Semantic Web Conference, Bethlehem, Pennsylvania, United States, October 11-15, 2015 PB - Springer ER - TY - CONF T1 - Linked Data: Forming Partnerships at the Data Layer T2 - 2015 American Geophysical Union Fall Meeting, San Francisco, 14-18 December 2015 Y1 - 2015 A1 - Adam Shepherd A1 - Cynthia Chandler A1 - Robert A. Arko A1 - Matthew Jones A1 - Pascal Hitzler A1 - Krzysztof Janowicz A1 - Adila Krisnadhi A1 - Mark Schildhauer A1 - Douglas Fils A1 - Tom Narock A1 - Robert Groman A1 - Margaret O'Brien A1 - Evan W. Patton A1 - Danie Kinkade A1 - Shannon Rauch JF - 2015 American Geophysical Union Fall Meeting, San Francisco, 14-18 December 2015 ER - TY - CONF T1 - A Minimal Ontology Pattern for Life Cycle Assessment Data T2 - 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 Y1 - 2015 A1 - Krzysztof Janowicz A1 - Adila Krisnadhi A1 - Yingjie Hu A1 - Sangwon Suh A1 - Bo Pedersen Weidema A1 - Beatriz Rivela A1 - Johan Tivander A1 - David E. Meyer A1 - Gary Berg-Cross A1 - Pascal Hitzler A1 - Wesley Ingwersen A1 - Brandon Kuczenski A1 - Charles Vardeman A1 - Yiting Ju JF - 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 ER - TY - CONF T1 - An Ontology Design Pattern for Chess Games T2 - 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 Y1 - 2015 A1 - Adila Krisnadhi A1 - Víctor Rodríguez-Doncel A1 - Pascal Hitzler A1 - Michelle Cheatham A1 - Nazifa Karima A1 - Reihaneh Amini A1 - Ashley Coleman JF - 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 VL - 1461 UR - http://ceur-ws.org/Vol-1461/WOP2015_pattern_abstract_2.pdf ER - TY - CONF T1 - An Ontology Design Pattern for Dynamic Relative Relationships T2 - 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 Y1 - 2015 A1 - Holly Ferguson A1 - Adila Krisnadhi A1 - Charles Vardeman ED - Eva Blomqvist ED - Pascal Hitzler ED - Adila Krisnadhi ED - Thomas Narock ED - Monika Solanki JF - 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 PB - CEUR-WS.org VL - 1461 UR - http://ceur-ws.org/Vol-1461/WOP2015_paper_3.pdf ER - TY - CONF T1 - An Ontology Design Pattern for Particle Physics Analysis T2 - 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 Y1 - 2015 A1 - David Carral A1 - Michelle Cheatham A1 - Sunje Dallmeir-Tiessen A1 - Patricia Herterich A1 - Michael D. Hildreth A1 - Pascal Hitzler A1 - Adila Krisnadhi A1 - Kati Lassila-Perini A1 - Elizabeth Sexton-Kennedy A1 - Charles Vardeman A1 - Gordon Watts ED - Eva Blomqvist ED - Pascal Hitzler ED - Adila Krisnadhi ED - Thomas Narock ED - Monika Solanki AB -

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.

JF - 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 PB - CEUR-WS.org VL - 1461 UR - http://ceur-ws.org/Vol-1461/WOP2015_pattern_abstract_5.pdf ER - TY - CONF T1 - Ontology Design Patterns: Bridging the Gap Between Local Semantic Use Cases and Large-Scale, Long-Term Data Integration T2 - European Geosciences Union General Assembly 2015, Vienna, Austria, 12 - 17 April 2015 Y1 - 2015 A1 - Adam Shepherd A1 - Robert Arko A1 - Adila Krisnadhi A1 - Pascal Hitzler A1 - Krzysztof Janowicz A1 - Cynthia Chandler A1 - Thomas Narock A1 - Michelle Cheatham A1 - Mark Schildhauer A1 - Matthew Jones A1 - Lisa Raymond A1 - Audrey Mickle A1 - Timothy Finin A1 - Douglas Fils JF - European Geosciences Union General Assembly 2015, Vienna, Austria, 12 - 17 April 2015 ER - TY - CONF T1 - An Ontology For Specifying Spatiotemporal Scopes in Life Cycle Assessment T2 - Proceedings of the 1st International Diversity++ Workshop co-located with the 14th International Semantic Web Conference (ISWC 2015), Bethlehem, Pennsylvania, USA, October 12, 2015 Y1 - 2015 A1 - Bo Yan A1 - Yingjie Hu A1 - Brandon Kuczenski A1 - Krzsyztof Janowicz A1 - Andrea Ballatore A1 - Adila Krisnadhi A1 - Pascal Hitzler A1 - Sangwon Suh A1 - Wesley Ingwersen ED - Claudia d'Amato ED - Freddy Lécué ED - Raghava Mutharaju ED - Thomas Narock ED - Fabian Wirth JF - Proceedings of the 1st International Diversity++ Workshop co-located with the 14th International Semantic Web Conference (ISWC 2015), Bethlehem, Pennsylvania, USA, October 12, 2015 PB - CEUR-WS.org VL - 1501 UR - http://ceur-ws.org/Vol-1501/Diversity2015-paper_4.pdf ER - TY - CONF T1 - Ontology modeling with domain experts: The GeoVoCamp experience T2 - 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 Y1 - 2015 A1 - Pascal Hitzler A1 - Krzysztof Janowicz A1 - Adila Krisnadhi JF - 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 ER - TY - CHAP T1 - Ontology Pattern Modeling for Cross-Repository Data Integration in the Ocean Sciences: The Oceanographic Cruise Example T2 - The Semantic Web in Earth and Space Science: Current Status and Future Directions Y1 - 2015 A1 - Adila Krisnadhi A1 - Robert Arko A1 - Suzanne Carbotte A1 - Cynthia Chandler A1 - Michelle Cheatham A1 - Timothy Finin A1 - Pascal Hitzler A1 - Krzysztof Janowicz A1 - Thomas Narock A1 - Lisa Raymond A1 - Adam Shepherd A1 - Peter Wiebe AB - 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. JF - The Semantic Web in Earth and Space Science: Current Status and Future Directions PB - IOS Press ER - TY - THES T1 - Ontology Pattern-Based Data Integration T2 - Department of Computer Science and Engineering Y1 - 2015 A1 - Adila Krisnadhi AB -

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. 

JF - Department of Computer Science and Engineering PB - Wright State University CY - Dayton VL - Doctor of Philosophy UR - http://rave.ohiolink.edu/etdc/view?acc_num=wright1453177798 ER - TY - CONF T1 - Pattern-Based Linked Data Publication: The Linked Chess Dataset Case T2 - 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 Y1 - 2015 A1 - Víctor Rodríguez-Doncel A1 - Adila Krisnadhi A1 - Pascal Hitzler A1 - Michelle Cheatham A1 - Nazifa Karima A1 - Reihaneh Amini ED - Olaf Hartig ED - Juan Sequeda ED - Aidan Hogan AB -

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.

JF - 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 PB - CEUR-WS.org VL - 1426 UR - http://dase.cs.wright.edu/publications/pattern-based-linked-data-publication-linked-chess-dataset-case ER - TY - Generic T1 - 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 Y1 - 2015 A1 - Eva Blomqvist A1 - Pascal Hitzler A1 - Adila Krisnadhi A1 - Tom Narock A1 - Monika Solanki ER - TY - CONF T1 - R2R+BCO-DMO – Linked Oceanographic Datasets T2 - Proceedings of the 1st International Diversity++ Workshop co-located with the 14th International Semantic Web Conference (ISWC 2015), Bethlehem, Pennsylvania, USA, October 12, 2015 Y1 - 2015 A1 - Adila Krisnadhi A1 - Robert Arko A1 - Suzanne Carbotte A1 - Cynthia Chandler A1 - Michelle Cheatham A1 - Pascal Hitzler A1 - Yingjie Hu A1 - Krzysztof Janowicz A1 - Peng Ji A1 - Nazifa Karima A1 - Adam Shepherd A1 - Peter Wiebe ED - Claudia d'Amato ED - Freddy Lécué ED - Raghava Mutharaju ED - Thomas Narock ED - Fabian Wirth AB - 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’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. JF - Proceedings of the 1st International Diversity++ Workshop co-located with the 14th International Semantic Web Conference (ISWC 2015), Bethlehem, Pennsylvania, USA, October 12, 2015 PB - CEUR-WS.org VL - 1501 ER - TY - CONF T1 - All But Not Nothing: Left-Hand Side Universals for Tractable OWL Profiles T2 - 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. Y1 - 2014 A1 - David Carral A1 - Adila Krisnadhi A1 - Sebastian Rudolph A1 - Pascal Hitzler ED - C. Maria Keet ED - Valentina A. M. Tamma KW - description logics KW - Horn Logics KW - OWL AB - 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. JF - 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. PB - CEUR-WS.org VL - 1265 UR - http://ceur-ws.org/Vol-1265/owled2014_submission_13.pdf ER - TY - Generic T1 - Artificial Intelligence: Methodology, Systems, and Applications - 16th International Conference, AIMSA 2014, Varna, Bulgaria, September 11-13, 2014. Proceedings T2 - AIMSA 2014 Y1 - 2014 ED - Gennady Agre ED - Pascal Hitzler ED - Adila Krisnadhi ED - Sergei O. Kuznetsov JF - AIMSA 2014 PB - Springer VL - 8722 SN - 978-3-319-10553-6 UR - http://dx.doi.org/10.1007/978-3-319-10554-3 ER - TY - CHAP T1 - Description Logics T2 - Encyclopedia of Social Network Analysis and Mining Y1 - 2014 A1 - Adila Krisnadhi A1 - Pascal Hitzler JF - Encyclopedia of Social Network Analysis and Mining PB - Springer UR - http://dx.doi.org/10.1007/978-1-4614-6170-8_108 ER - TY - CONF T1 - The OceanLink Project T2 - American Geophysical Union Fall Meeting, San Francisco, 15-19 December 2014 Y1 - 2014 A1 - Thomas Narock A1 - Robert Arko A1 - Suzanne Carbotte A1 - Cynthia Chandler A1 - Michelle Cheatham A1 - Timothy Finin A1 - Pascal Hitzler A1 - Adila Krisnadhi A1 - Lisa Raymond A1 - Adam Shepherd A1 - Peter Wiebe JF - American Geophysical Union Fall Meeting, San Francisco, 15-19 December 2014 ER - TY - CONF T1 - The OceanLink project T2 - 2014 IEEE International Conference on Big Data, Big Data 2014, Washington, DC, USA, October 27-30, 2014 Y1 - 2014 A1 - Thomas Narock A1 - Robert Arko A1 - Suzanne Carbotte A1 - Adila Krisnadhi A1 - Pascal Hitzler A1 - Michelle Cheatham A1 - Adam Shepherd A1 - Cynthia Chandler A1 - Lisa Raymond A1 - Peter Wiebe A1 - Timothy Finin ED - Jimmy Lin ED - Jian Pei ED - Xiaohua Hu ED - Wo Chang ED - Raghunath Nambiar ED - Charu Aggarwal ED - Nick Cercone ED - Vasant Honavar ED - Jun Huan ED - Bamshad Mobasher ED - Saumyadipta Pyne AB - Today'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. JF - 2014 IEEE International Conference on Big Data, Big Data 2014, Washington, DC, USA, October 27-30, 2014 PB - {IEEE} SN - 978-1-4799-5665-4 UR - http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6973861 ER - TY - CONF T1 - An Ontology Design Pattern for Cooking Recipes - Classroom Created T2 - 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. Y1 - 2014 A1 - Monica Sam A1 - Adila Krisnadhi A1 - Cong Wang A1 - John C. Gallagher A1 - Pascal Hitzler ED - de Boer, Victor ED - Aldo Gangemi ED - Krzysztof Janowicz ED - Agnieszka Lawrynowicz AB - 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. JF - 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. PB - CEUR-WS.org VL - 1302 UR - http://ceur-ws.org/Vol-1302 ER - TY - CONF T1 - An Ontology Design Pattern for Material Transformation T2 - 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. Y1 - 2014 A1 - Charles Vardeman A1 - Adila Krisnadhi A1 - Michelle Cheatham A1 - Krzysztof Janowicz A1 - Holly Ferguson A1 - Pascal Hitzler A1 - Aimee Buccellato A1 - Krishnaprasad Thirunarayan A1 - Gary Berg-Cross A1 - Torsten Hahmann ED - de Boer, Victor ED - Aldo Gangemi ED - Krzysztof Janowicz ED - Agnieszka Lawrynowicz AB - 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. JF - 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. PB - CEUR-WS.org VL - 1302 UR - http://ceur-ws.org/Vol-1302 ER - TY - CONF T1 - Ontology Design Patterns for Ocean Science Data Discovery T2 - Spatial reference in the Semantic Web and in Robotics (Dagstuhl Seminar 14142) Y1 - 2014 A1 - Pascal Hitzler A1 - Adila Krisnadhi A1 - Robert Arko A1 - Suzanne Carbotte A1 - Cynthia Chandler A1 - Michelle Cheatham A1 - Timothy Finin A1 - Krzysztof Janowicz A1 - Thomas Narock A1 - Lisa Raymond A1 - Adam Shepherd A1 - Peter Wiebe ED - Aldo Gangemi ED - Verena V. Hafner ED - Werner Kuhn ED - Simon Scheider ED - Luc Steels JF - Spatial reference in the Semantic Web and in Robotics (Dagstuhl Seminar 14142) VL - 3 IS - 4 ER - TY - RPRT T1 - An Ontology Pattern for Oceanograhic Cruises: Towards an Oceanographer's Dream of Integrated Knowledge Discovery Y1 - 2014 A1 - Adila Krisnadhi A1 - Robert Arko A1 - Suzanne Carbotte A1 - Cynthia Chandler A1 - Michelle Cheatham A1 - Timothy Finin A1 - Pascal Hitzler A1 - Krzysztof Janowicz A1 - Thomas Narock A1 - Lisa Raymond A1 - Adam Shepherd A1 - Peter Wiebe AB -

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.

JF - OceanLink Technical Report ER - TY - CONF T1 - Provenance Usage in the OceanLink Project T2 - American Geophysical Union Fall Meeting, San Francisco, 15-19 December 2014. Y1 - 2014 A1 - Thomas Narock A1 - Robert Arko A1 - Suzanne Carbotte A1 - Cynthia Chandler A1 - Michelle Cheatham A1 - Douglas Fils A1 - Timothy Finin A1 - Pascal Hitzler A1 - Krzysztof Janowicz A1 - Matthew Jones A1 - Adila Krisnadhi A1 - Kerstin Lehnert A1 - Audrey Mickle A1 - Lisa Raymond A1 - Mark Schildhauer A1 - Adam Shepherd A1 - Peter Wiebe JF - American Geophysical Union Fall Meeting, San Francisco, 15-19 December 2014. ER - TY - CONF T1 - Semantic Entity Pairing for Improved Data Validation and Discovery T2 - European Geosciences Union General Assembly 2014, Vienna, Austria, 27 April - 02 May 2014 Y1 - 2014 A1 - Adam Shepherd A1 - Cynthia Chandler A1 - Robert Arko A1 - Yanning Chen A1 - Adila Krisnadhi A1 - Pascal Hitzler A1 - Thomas Narock A1 - Robert Groman A1 - Shannon Rauch AB -

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'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's and R2R'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.

JF - European Geosciences Union General Assembly 2014, Vienna, Austria, 27 April - 02 May 2014 VL - 16 ER - TY - CONF T1 - Using Linked Open Data and Semantic Integration to Search Across Geoscience Repositories. T2 - American Geophysical Union Fall Meeting, San Francisco, 15-19 December 2014 Y1 - 2014 A1 - Lisa Raymond A1 - Adam Shepherd A1 - Robert Arko A1 - Suzanne Carbotte A1 - Cynthia Chandler A1 - Michelle Cheatham A1 - Douglas Fils A1 - Pascal Hitzler A1 - Krzysztof Janowicz A1 - Matthew Jones A1 - Adila Krisnadhi A1 - Kerstin Lehnert A1 - Audrey Mickle A1 - Thomas Narock A1 - Mark Schildhauer A1 - Peter Wiebe JF - American Geophysical Union Fall Meeting, San Francisco, 15-19 December 2014 ER - TY - CONF T1 - An Ontology Design Pattern for Cartographic Map Scaling T2 - The Semantic Web: Semantics and Big Data, 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings Y1 - 2013 A1 - David Carral A1 - Simon Scheider A1 - Krzysztof Janowicz A1 - Charles Vardeman A1 - Adila Krisnadhi A1 - Pascal Hitzler ED - Philipp Cimiano ED - Óscar Corcho ED - Valentina Presutti ED - Laura Hollink ED - Sebastian Rudolph KW - Map Scaling KW - Ontology Design Patterns KW - OWL AB -

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.

JF - The Semantic Web: Semantics and Big Data, 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings PB - Springer VL - 7882 UR - http://dx.doi.org/10.1007/978-3-642-38288-8_6 ER - TY - CONF T1 - Integrating OWL and Rules: A Syntax Proposal for Nominal Schemas T2 - Proceedings of OWL: Experiences and Directions Workshop 2012, Heraklion, Crete, Greece, May 27-28, 2012 Y1 - 2012 A1 - David Carral A1 - Adila Krisnadhi A1 - Pascal Hitzler ED - Pavel Klinov ED - Matthew Horridge AB - 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 “variable nominal classes” 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. JF - Proceedings of OWL: Experiences and Directions Workshop 2012, Heraklion, Crete, Greece, May 27-28, 2012 PB - CEUR-WS.org VL - 849 UR - http://ceur-ws.org/Vol-849/paper_6.pdf ER - TY - CONF T1 - Konf Connect T2 - Metadata Challenge at the 21st International Conference on World Wide Web (WWW 2012) Y1 - 2012 A1 - David Carral A1 - Joshi, Amit Krishna A1 - Adila Krisnadhi A1 - Raghava Mutharaju A1 - Kunal Sengupta A1 - Cong Wang AB -

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.

JF - Metadata Challenge at the 21st International Conference on World Wide Web (WWW 2012) CY - Lyon, France ER - TY - Generic T1 - Reasoning Approaches for Nominal Schemas Y1 - 2012 A1 - Cong Wang A1 - Adila Krisnadhi A1 - David Carral A1 - Pascal Hitzler PB - JIST CY - Nara, Japan VL - Poster and Demonstration Proceedings ER - TY - CONF T1 - Recent Advances in Integrating OWL and Rules T2 - Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings Y1 - 2012 A1 - Matthias Knorr A1 - David Carral A1 - Pascal Hitzler A1 - Adila Krisnadhi A1 - Frederick Maier A1 - Cong Wang ED - Markus Krötzsch ED - Umberto Straccia KW - description logics KW - OWL KW - Rules AB - 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. JF - Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings PB - Springer CY - Austria, Vienna VL - 7497 UR - http://dx.doi.org/10.1007/978-3-642-33203-6_20 ER - TY - CONF T1 - A Tableau Algorithm for Description Logics with Nominal Schemas T2 - Web Reasoning and Rule Systems, 6th International Conference, RR2012, Vienna, Austria, September 10-12, 2012, Proceedings Y1 - 2012 A1 - Adila Krisnadhi A1 - Pascal Hitzler ED - Markus Krötzsch ED - Umberto Straccia AB -

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.

JF - Web Reasoning and Rule Systems, 6th International Conference, RR2012, Vienna, Austria, September 10-12, 2012, Proceedings PB - Springer VL - 7497 ER - TY - CONF T1 - A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies T2 - Proceedings of the 20th International Conference on World Wide Web, WWW 2011, Hyderabad, India, March 28 - April 1, 2011 Y1 - 2011 A1 - Markus Krötzsch A1 - Frederick Maier A1 - Adila Krisnadhi A1 - Pascal Hitzler ED - Sadagopan Srinivasan ED - Krithi Ramamritham ED - Arun Kumar ED - M. P. Ravindra ED - Elisa Bertino ED - Ravi Kumar KW - datalog KW - Description Logic KW - Semantic Web Rule Language KW - SROIQ KW - tractability KW - Web Ontology Language AB - 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. JF - Proceedings of the 20th International Conference on World Wide Web, WWW 2011, Hyderabad, India, March 28 - April 1, 2011 PB - ACM SN - 978-1-4503-0632-4 UR - http://doi.acm.org/10.1145/1963405.1963496 ER - TY - CONF T1 - Local Closed World Semantics: Grounded Circumscription for Description Logics T2 - Web Reasoning and Rule Systems - 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Proceedings Y1 - 2011 A1 - Adila Krisnadhi A1 - Kunal Sengupta A1 - Pascal Hitzler ED - Sebastian Rudolph ED - Claudio Gutierrez AB - 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. JF - Web Reasoning and Rule Systems - 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Proceedings PB - Springer VL - 6902 SN - 978-3-642-23579-5 UR - http://dx.doi.org/10.1007/978-3-642-23580-1 ER - TY - CONF T1 - Local Closed World Semantics: Grounded Circumscription for OWL T2 - The Semantic Web - ISWC 2011 - 10th International Semantic Web Conference, Bonn, Germany, October 23-27, 2011, Proceedings, Part I Y1 - 2011 A1 - Kunal Sengupta A1 - Adila Krisnadhi A1 - Pascal Hitzler ED - Lora Aroyo ED - Chris Welty ED - Harith Alani ED - Jamie Taylor ED - Abraham Bernstein ED - Lalana Kagal ED - Natasha F. Noy ED - Eva Blomqvist AB - 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. JF - The Semantic Web - ISWC 2011 - 10th International Semantic Web Conference, Bonn, Germany, October 23-27, 2011, Proceedings, Part I PB - Springer VL - 7031 ER - TY - CONF T1 - Local Closed World Semantics: Keep it simple, stupid! T2 - Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011 Y1 - 2011 A1 - Adila Krisnadhi A1 - Kunal Sengupta A1 - Pascal Hitzler ED - Riccardo Rosati ED - Sebastian Rudolph ED - Michael Zakharyaschev KW - circumscription KW - closed world KW - decidability KW - Description Logic AB - 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. JF - Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011 PB - CEUR-WS.org VL - 745 UR - http://ceur-ws.org/Vol-745/paper_12.pdf ER - TY - CONF T1 - Nominal Schemas for Integrating Rules and Description Logics T2 - Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011 Y1 - 2011 A1 - Markus Krötzsch A1 - Frederick Maier A1 - Adila Krisnadhi A1 - Pascal Hitzler ED - Riccardo Rosati ED - Sebastian Rudolph ED - Michael Zakharyaschev AB - We propose an extension of SROIQ with nominal schemas which can be used like “variable nominal concepts” 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. JF - Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011 PB - CEUR-WS.org VL - 745 UR - http://ceur-ws.org/Vol-745/paper_39.pdf ER - TY - CONF T1 - OWL and Rules T2 - Reasoning Web. Semantic Technologies for the Web of Data - 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011, Tutorial Lectures Y1 - 2011 A1 - Adila Krisnadhi A1 - Frederick Maier A1 - Pascal Hitzler ED - Axel Polleres ED - Claudia d'Amato ED - Marcelo Arenas ED - Siegfried Handschuh ED - Paula Kroner ED - Sascha Ossowski ED - Peter F. Patel-Schneider AB - 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. JF - Reasoning Web. Semantic Technologies for the Web of Data - 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011, Tutorial Lectures PB - Springer VL - 6848 SN - 978-3-642-23031-8 UR - http://dx.doi.org/10.1007/978-3-642-23032-5 ER - TY - CONF T1 - Data Complexity in the EL Family of Description Logics T2 - Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings Y1 - 2007 A1 - Adila Krisnadhi A1 - Carsten Lutz ED - Nachum Dershowitz ED - Andrei Voronkov AB - 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 JF - Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings PB - Springer VL - 4790 UR - http://dx.doi.org/10.1007/978-3-540-75560-9_25 ER - TY - CONF T1 - Data Complexity in the EL family of DLs T2 - Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007 Y1 - 2007 A1 - Adila Krisnadhi A1 - Carsten Lutz ED - Diego Calvanese ED - Enrico Franconi ED - Volker Haarslev ED - Domenico Lembo ED - Boris Motik ED - Anni-Yasmin Turhan ED - Sergio Tessaris JF - Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007 PB - CEUR-WS.org VL - 250 UR - http://ceur-ws.org/Vol-250/paper_15.pdf ER - TY - THES T1 - Data Complexity of Instance Checking in the EL Family of Description Logics Y1 - 2007 A1 - Adila Krisnadhi AB - 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. PB - Technische Universität Dresden CY - Dresden VL - Master of Science UR - http://lat.inf.tu-dresden.de/research/mas/#Kri-Mas-07 ER -