%0 Journal Article %J Data Intelligence %D 2020 %T GeoLink Dataset: A Complex Alignment Benchmark from Real-world Ontology %A Lu Zhou %A Michelle Cheatham %A Adila Krisnadhi %A Pascal Hitzler %B Data Intelligence %G eng %0 Book Section %B Applications and Practices in Ontology Design, Extraction, and Reasoning %D 2020 %T Modular Ontology Modeling: A Tutorial %A Cogan Shimizu %A Pascal Hitzler %A Adila Krisnadhi %X
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.
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.
%B 1st Iberoamerican Knowledge Graph and Semantic Web Conference (KGSWC) %I Springer %C Villa Clara, Cuba %8 06/2019 %G eng %& 149-161 %0 Conference Paper %B ISWC %D 2018 %T A Complex Alignment Benchmark: Geolink dataset %A Lu Zhou %A Michelle Cheatham %A Adila Krisnadhi %A Pascal Hitzler %B ISWC %I Springer %G eng %0 Journal Article %J Big Earth Data %D 2018 %T The GeoLink Knowledge Graph %A Michelle Cheatham %A Adila Krisnadhi %A Reihaneh Amini %A Pascal Hitzler %A Krzysztof Janowicz %A Adam Shepherd %A Tom Narock %A Matt Jones %A Peng Ji %B Big Earth Data %G eng %0 Journal Article %J Big Earth Data %D 2018 %T The GeoLink Knowledge Graph %A Michelle Cheatham %A Adila Krisnadhi %A Reihaneh Amini %A Pascal Hitzler %A Krzysztof Janowicz %A Adam Shepherd %A Tom Narock %A Matt Jones %A Peng Ji %B Big Earth Data %G eng %0 Book %B Studies on the Semantic Web %D 2017 %T Advances in Ontology Design and Patterns %A Karl Hammar %A Pascal Hitzler %A Agnieszka Lawrynowicz %A Adila Krisnadhi %A Andrea Nuzzolese %A Monika Solanki %B Studies on the Semantic Web %I IOS Press %C Amsterdam %V 32 %G eng %0 Journal Article %J Semantic Web %D 2017 %T An Ontology Design Pattern and Its Use Case for Modeling Material Transformation %A Charles Vardeman %A Adila Krisnadhi %A Michelle Cheatham %A Krzysztof Janowicz %A Holly Ferguson %A Pascal Hitzler %A Aimee Buccellato %B Semantic Web %V 8 %P 731 %G eng %N 5 %& 719 %R 10.3233/SW-160231 %0 Generic %D 2017 %T Rule-based OWL Modeling with ROWLTab Protege Plugin %A Md Kamruzzaman Sarker %A Adila Krisnadhi %A David Carral %A Pascal Hitzler %XIt 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.
%G eng %0 Book Section %B Ontology Engineering with Ontology Design Patterns: Foundations and Applications %D 2016 %T Collected Research Questions Concerning Ontology Design Patterns %A Karl Hammar %A Eva Blomqvist %A David Carral %A Marieke van Erp %A Antske Fokkens %A Aldo Gangemi %A Willem Robert van Hage %A Pascal Hitzler %A Krzysztof Janowicz %A Nazifa Karima %A Adila Krisnadhi %A Tom Narock %A Roxane Segers %A Monika Solanki %A Vojtech Svatek %B Ontology Engineering with Ontology Design Patterns: Foundations and Applications %I IOS Press %C Amsterdam %G eng %0 Journal Article %J Semantic Web %D 2016 %T Considerations regarding Ontology Design Patterns %A Eva Blomqvist %A Pascal Hitzler %A Krzysztof Janowicz %A Adila Krisnadhi %A Thomas Narock %A Monika Solanki %B Semantic Web %V 7 %P 1-7 %G eng %N 1 %0 Book Section %B Ontology Engineering with Ontology Design Patterns: Foundations and Applications %D 2016 %T Introduction: Ontology Design Patterns in a Nutshell %A Krzysztof Janowicz %A Aldo Gangemi %A Pascal Hitzler %A Adila Krisnadhi %A Valentina Presutti %B Ontology Engineering with Ontology Design Patterns: Foundations and Applications %I IOS Press %C Amsterdam %G eng %0 Conference Paper %D 2016 %T Modeling OWL with Rules: The ROWL Protege Plugin %A Md Kamruzzaman Sarker %A David Carral %A Adila Krisnadhi %A Pascal Hitzler %XAbstract. 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.
%I 15th International Semantic Web Conference (ISWC) 2016 %C Kobe, Japan %G eng %U http://ceur-ws.org/Vol-1690/paper92.pdf %0 Book Section %B Ontology Engineering with Ontology Design Patterns: Foundations and Applications %D 2016 %T Modeling With Ontology Design Patterns: Chess Games As a Worked Example %A Adila Krisnadhi %A Pascal Hitzler %B Ontology Engineering with Ontology Design Patterns: Foundations and Applications %I IOS Press %V 25 %P 3–21 %G eng %& 1 %R 10.3233/978-1-61499-676-7-3 %0 Generic %D 2016 %T Modular Ontology Architecture for Data Integration in the GeoLink Project %A Adila Krisnadhi %C Ontology Summit 2016 (online) %G eng %U http://ontologforum.org/index.php?title=ConferenceCall_2016_02_25&oldid=22543#hid1C2C %0 Book Section %B Ontology Engineering with Ontology Design Patterns: Foundations and Applications %D 2016 %T Ontology Design Patterns for Data Integration: The GeoLink Experience %A Adila Krisnadhi %B Ontology Engineering with Ontology Design Patterns: Foundations and Applications %V 25 %P 267 - 278 %G eng %& 13 %R 10.3233/978-1-61499-676-7-267 %0 Book Section %B Ontology Engineering with Ontology Design Patterns: Foundations and Applications %D 2016 %T Ontology Design Patterns for Linked Data Publishing %A Adila Krisnadhi %A Nazifa Karima %A Pascal Hitzler %A Reihaneh Amini %A Víctor Rodríguez-Doncel %A Krzysztof Janowicz %B Ontology Engineering with Ontology Design Patterns: Foundations and Applications %V 25 %P 201 - 232 %G eng %& 10 %R 10.3233/978-1-61499-676-7-201 %0 Book %B Studies On the Semantic Web %D 2016 %T Ontology Engineering with Ontology Design Patterns: Foundations and Applications %A Pascal Hitzler %A Aldo Gangemi %A Krzysztof Janowicz %A Adila Krisnadhi %A Valentina Presutti %B Studies On the Semantic Web %I IOS Press %C Amsterdam %V 025 %G eng %0 Conference Paper %D 2016 %T OWLAx: A Protege Plugin to Support Ontology Axiomatization through Diagramming %A Md Kamruzzaman Sarker %A Adila Krisnadhi %A Pascal Hitzler %XAbstract. 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.
%I 15th International Semantic Web Conference, ISWC2016, Kobe, Japan, October 2016 %C Kobe, Japan %G eng %U http://ceur-ws.org/Vol-1690/paper83.pdf %0 Book Section %B Ontology Engineering with Ontology Design Patterns: Foundations and Applications %D 2016 %T The Role Patterns %A Adila Krisnadhi %B Ontology Engineering with Ontology Design Patterns: Foundations and Applications %I IOS Press %V 25 %P 313–319 %G eng %& 16 %R 10.3233/978-1-61499-676-7-313 %0 Book Section %B Ontology Engineering with Ontology Design Patterns: Foundations and Applications %D 2016 %T On the Roles of Logical Axiomatizations for Ontologies %A Pascal Hitzler %A Adila Krisnadhi %B Ontology Engineering with Ontology Design Patterns: Foundations and Applications %I IOS Press %C Amsterdam %G eng %0 Generic %D 2016 %T Update on ESIP Testbed Project %A Nazifa Karima %A Adila Krisnadhi %A Pascal Hitzler %A Tom Narock %G eng %0 Conference Paper %B 2015 American Geophysical Union Fall Meeting, San Francisco, 14-18 December 2015 %D 2015 %T EarthCube GeoLink: Semantics and Linked Data for the Geosciences %A Robert A. Arko %A Suzanne Carbotte %A Cynthia Chandler %A Michelle Cheatham %A Douglas Fils %A Pascal Hitzler %A Krzysztof Janowicz %A Peng Ji %A Matthew Jones %A Adila Krisnadhi %A Kerstin Lehnert %A Audrey Mickle %A Tom Narock %A Margaret O'Brien %A Lisa Raymond %A Mark Schildhauer %A Adam Shepherd %A Peter Wiebe %B 2015 American Geophysical Union Fall Meeting, San Francisco, 14-18 December 2015 %G eng %0 Generic %D 2015 %T The GeoLink Framework for Pattern-based Linked Data Integration %A Adila Krisnadhi %A Yingjie Hu %A Krzsyztof Janowicz %A Pascal Hitzler %A Robert Arko %A Suzanne Carbotte %A Cynthia Chandler %A Michelle Cheatham %A Douglas Fils %A Timothy Finin %A Peng Ji %A Matthew Jones %A Nazifa Karima %A Kerstin Lehnert %A Audrey Mickle %A Thomas Narock %A Margaret O'Brien %A Lisa Raymond %A Adam Shepherd %A Mark Schildhauer %A Peter Wiebe %B Proceedings of the ISWC 2015 Posters & Demonstrations Track %8 10/2015 %0 Conference Paper %B The Semantic Web - ISWC 2015. 14th International Semantic Web Conference, Bethlehem, Pennsylvania, United States, October 11-15, 2015 %D 2015 %T The GeoLink Modular Oceanography Ontology %A Adila Krisnadhi %A Yingjie Hu %A Krzysztof Janowicz %A Pascal Hitzler %A Robert Arko %A Suzanne Carbotte %A Cynthia Chandler %A Michelle Cheatham %A Douglas Fils %A Timothy Finin %A Peng Ji %A Matthew Jones %A Nazifa Karima %A Kerstin Lehnert %A Audrey Mickle %A Thomas Narock %A Margaret O'Brien %A Lisa Raymond %A Adam Shepherd %A Mark Schildhauer %A Peter Wiebe %B The Semantic Web - ISWC 2015. 14th International Semantic Web Conference, Bethlehem, Pennsylvania, United States, October 11-15, 2015 %I Springer %8 10/2015 %G eng %0 Conference Paper %B 2015 American Geophysical Union Fall Meeting, San Francisco, 14-18 December 2015 %D 2015 %T Linked Data: Forming Partnerships at the Data Layer %A Adam Shepherd %A Cynthia Chandler %A Robert A. Arko %A Matthew Jones %A Pascal Hitzler %A Krzysztof Janowicz %A Adila Krisnadhi %A Mark Schildhauer %A Douglas Fils %A Tom Narock %A Robert Groman %A Margaret O'Brien %A Evan W. Patton %A Danie Kinkade %A Shannon Rauch %B 2015 American Geophysical Union Fall Meeting, San Francisco, 14-18 December 2015 %G eng %0 Conference Paper %B 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 %D 2015 %T A Minimal Ontology Pattern for Life Cycle Assessment Data %A Krzysztof Janowicz %A Adila Krisnadhi %A Yingjie Hu %A Sangwon Suh %A Bo Pedersen Weidema %A Beatriz Rivela %A Johan Tivander %A David E. Meyer %A Gary Berg-Cross %A Pascal Hitzler %A Wesley Ingwersen %A Brandon Kuczenski %A Charles Vardeman %A Yiting Ju %B 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 %8 10/2015 %G eng %0 Conference Paper %B 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 %D 2015 %T An Ontology Design Pattern for Chess Games %A Adila Krisnadhi %A Víctor Rodríguez-Doncel %A Pascal Hitzler %A Michelle Cheatham %A Nazifa Karima %A Reihaneh Amini %A Ashley Coleman %B 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 %V 1461 %8 10/2015 %G eng %U http://ceur-ws.org/Vol-1461/WOP2015_pattern_abstract_2.pdf %0 Conference Paper %B 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 %D 2015 %T An Ontology Design Pattern for Dynamic Relative Relationships %A Holly Ferguson %A Adila Krisnadhi %A Charles Vardeman %E Eva Blomqvist %E Pascal Hitzler %E Adila Krisnadhi %E Thomas Narock %E Monika Solanki %B 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 %I CEUR-WS.org %V 1461 %8 10/2015 %G eng %U http://ceur-ws.org/Vol-1461/WOP2015_paper_3.pdf %0 Conference Paper %B 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 %D 2015 %T An Ontology Design Pattern for Particle Physics Analysis %A David Carral %A Michelle Cheatham %A Sunje Dallmeir-Tiessen %A Patricia Herterich %A Michael D. Hildreth %A Pascal Hitzler %A Adila Krisnadhi %A Kati Lassila-Perini %A Elizabeth Sexton-Kennedy %A Charles Vardeman %A Gordon Watts %E Eva Blomqvist %E Pascal Hitzler %E Adila Krisnadhi %E Thomas Narock %E Monika Solanki %XThe 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.
%B 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 %I CEUR-WS.org %V 1461 %8 10/2015 %G eng %U http://ceur-ws.org/Vol-1461/WOP2015_pattern_abstract_5.pdf %0 Conference Paper %B European Geosciences Union General Assembly 2015, Vienna, Austria, 12 - 17 April 2015 %D 2015 %T Ontology Design Patterns: Bridging the Gap Between Local Semantic Use Cases and Large-Scale, Long-Term Data Integration %A Adam Shepherd %A Robert Arko %A Adila Krisnadhi %A Pascal Hitzler %A Krzysztof Janowicz %A Cynthia Chandler %A Thomas Narock %A Michelle Cheatham %A Mark Schildhauer %A Matthew Jones %A Lisa Raymond %A Audrey Mickle %A Timothy Finin %A Douglas Fils %B European Geosciences Union General Assembly 2015, Vienna, Austria, 12 - 17 April 2015 %G eng %0 Conference Paper %B Proceedings of the 1st International Diversity++ Workshop co-located with the 14th International Semantic Web Conference (ISWC 2015), Bethlehem, Pennsylvania, USA, October 12, 2015 %D 2015 %T An Ontology For Specifying Spatiotemporal Scopes in Life Cycle Assessment %A Bo Yan %A Yingjie Hu %A Brandon Kuczenski %A Krzsyztof Janowicz %A Andrea Ballatore %A Adila Krisnadhi %A Pascal Hitzler %A Sangwon Suh %A Wesley Ingwersen %E Claudia d'Amato %E Freddy Lécué %E Raghava Mutharaju %E Thomas Narock %E Fabian Wirth %B Proceedings of the 1st International Diversity++ Workshop co-located with the 14th International Semantic Web Conference (ISWC 2015), Bethlehem, Pennsylvania, USA, October 12, 2015 %I CEUR-WS.org %V 1501 %P 25-30 %8 10/2015 %G eng %U http://ceur-ws.org/Vol-1501/Diversity2015-paper_4.pdf %0 Conference Paper %B 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 %D 2015 %T Ontology modeling with domain experts: The GeoVoCamp experience %A Pascal Hitzler %A Krzysztof Janowicz %A Adila Krisnadhi %B 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 %G eng %0 Book Section %B The Semantic Web in Earth and Space Science: Current Status and Future Directions %D 2015 %T Ontology Pattern Modeling for Cross-Repository Data Integration in the Ocean Sciences: The Oceanographic Cruise Example %A Adila Krisnadhi %A Robert Arko %A Suzanne Carbotte %A Cynthia Chandler %A Michelle Cheatham %A Timothy Finin %A Pascal Hitzler %A Krzysztof Janowicz %A Thomas Narock %A Lisa Raymond %A Adam Shepherd %A Peter Wiebe %X 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. %B The Semantic Web in Earth and Space Science: Current Status and Future Directions %I IOS Press %P 256-284 %G eng %0 Thesis %B Department of Computer Science and Engineering %D 2015 %T Ontology Pattern-Based Data Integration %A Adila Krisnadhi %XData 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.
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.
%B 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 %I CEUR-WS.org %V 1426 %8 10/2015 %G eng %U http://dase.cs.wright.edu/publications/pattern-based-linked-data-publication-linked-chess-dataset-case %9 Technical Report %0 Conference Proceedings %D 2015 %T 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 %A Eva Blomqvist %A Pascal Hitzler %A Adila Krisnadhi %A Tom Narock %A Monika Solanki %G eng %0 Conference Paper %B Proceedings of the 1st International Diversity++ Workshop co-located with the 14th International Semantic Web Conference (ISWC 2015), Bethlehem, Pennsylvania, USA, October 12, 2015 %D 2015 %T R2R+BCO-DMO – Linked Oceanographic Datasets %A Adila Krisnadhi %A Robert Arko %A Suzanne Carbotte %A Cynthia Chandler %A Michelle Cheatham %A Pascal Hitzler %A Yingjie Hu %A Krzysztof Janowicz %A Peng Ji %A Nazifa Karima %A Adam Shepherd %A Peter Wiebe %E Claudia d'Amato %E Freddy Lécué %E Raghava Mutharaju %E Thomas Narock %E Fabian Wirth %X 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. %B Proceedings of the 1st International Diversity++ Workshop co-located with the 14th International Semantic Web Conference (ISWC 2015), Bethlehem, Pennsylvania, USA, October 12, 2015 %I CEUR-WS.org %V 1501 %P 15-24 %8 10/2015 %G eng %0 Conference Paper %B 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. %D 2014 %T All But Not Nothing: Left-Hand Side Universals for Tractable OWL Profiles %A David Carral %A Adila Krisnadhi %A Sebastian Rudolph %A Pascal Hitzler %E C. Maria Keet %E Valentina A. M. Tamma %K description logics %K Horn Logics %K OWL %X 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. %B 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. %I CEUR-WS.org %V 1265 %P 97-108 %8 10/2014 %G eng %U http://ceur-ws.org/Vol-1265/owled2014_submission_13.pdf %0 Conference Proceedings %B AIMSA 2014 %D 2014 %T Artificial Intelligence: Methodology, Systems, and Applications - 16th International Conference, AIMSA 2014, Varna, Bulgaria, September 11-13, 2014. Proceedings %E Gennady Agre %E Pascal Hitzler %E Adila Krisnadhi %E Sergei O. Kuznetsov %B AIMSA 2014 %I Springer %V 8722 %@ 978-3-319-10553-6 %G eng %U http://dx.doi.org/10.1007/978-3-319-10554-3 %R 10.1007/978-3-319-10554-3 %0 Book Section %B Encyclopedia of Social Network Analysis and Mining %D 2014 %T Description Logics %A Adila Krisnadhi %A Pascal Hitzler %B Encyclopedia of Social Network Analysis and Mining %I Springer %P 346-351 %G eng %U http://dx.doi.org/10.1007/978-1-4614-6170-8_108 %R 10.1007/978-1-4614-6170-8_108 %0 Conference Paper %B American Geophysical Union Fall Meeting, San Francisco, 15-19 December 2014 %D 2014 %T The OceanLink Project %A Thomas Narock %A Robert Arko %A Suzanne Carbotte %A Cynthia Chandler %A Michelle Cheatham %A Timothy Finin %A Pascal Hitzler %A Adila Krisnadhi %A Lisa Raymond %A Adam Shepherd %A Peter Wiebe %B American Geophysical Union Fall Meeting, San Francisco, 15-19 December 2014 %G eng %0 Conference Paper %B 2014 IEEE International Conference on Big Data, Big Data 2014, Washington, DC, USA, October 27-30, 2014 %D 2014 %T The OceanLink project %A Thomas Narock %A Robert Arko %A Suzanne Carbotte %A Adila Krisnadhi %A Pascal Hitzler %A Michelle Cheatham %A Adam Shepherd %A Cynthia Chandler %A Lisa Raymond %A Peter Wiebe %A Timothy Finin %E Jimmy Lin %E Jian Pei %E Xiaohua Hu %E Wo Chang %E Raghunath Nambiar %E Charu Aggarwal %E Nick Cercone %E Vasant Honavar %E Jun Huan %E Bamshad Mobasher %E Saumyadipta Pyne %X 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. %B 2014 IEEE International Conference on Big Data, Big Data 2014, Washington, DC, USA, October 27-30, 2014 %I {IEEE} %P 14-21 %8 10/2014 %@ 978-1-4799-5665-4 %G eng %U http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6973861 %R 10.1109/BigData.2014.7004347 %0 Conference Paper %B 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. %D 2014 %T An Ontology Design Pattern for Cooking Recipes - Classroom Created %A Monica Sam %A Adila Krisnadhi %A Cong Wang %A John C. Gallagher %A Pascal Hitzler %E de Boer, Victor %E Aldo Gangemi %E Krzysztof Janowicz %E Agnieszka Lawrynowicz %X 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. %B 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. %I CEUR-WS.org %V 1302 %P 49-60 %8 10/2014 %G eng %U http://ceur-ws.org/Vol-1302 %0 Conference Paper %B 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. %D 2014 %T An Ontology Design Pattern for Material Transformation %A Charles Vardeman %A Adila Krisnadhi %A Michelle Cheatham %A Krzysztof Janowicz %A Holly Ferguson %A Pascal Hitzler %A Aimee Buccellato %A Krishnaprasad Thirunarayan %A Gary Berg-Cross %A Torsten Hahmann %E de Boer, Victor %E Aldo Gangemi %E Krzysztof Janowicz %E Agnieszka Lawrynowicz %X 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. %B 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. %I CEUR-WS.org %V 1302 %P 73-77 %8 10/2014 %G eng %U http://ceur-ws.org/Vol-1302 %0 Conference Paper %B Spatial reference in the Semantic Web and in Robotics (Dagstuhl Seminar 14142) %D 2014 %T Ontology Design Patterns for Ocean Science Data Discovery %A Pascal Hitzler %A Adila Krisnadhi %A Robert Arko %A Suzanne Carbotte %A Cynthia Chandler %A Michelle Cheatham %A Timothy Finin %A Krzysztof Janowicz %A Thomas Narock %A Lisa Raymond %A Adam Shepherd %A Peter Wiebe %E Aldo Gangemi %E Verena V. Hafner %E Werner Kuhn %E Simon Scheider %E Luc Steels %B Spatial reference in the Semantic Web and in Robotics (Dagstuhl Seminar 14142) %V 3 %G eng %N 4 %0 Report %D 2014 %T An Ontology Pattern for Oceanograhic Cruises: Towards an Oceanographer's Dream of Integrated Knowledge Discovery %A Adila Krisnadhi %A Robert Arko %A Suzanne Carbotte %A Cynthia Chandler %A Michelle Cheatham %A Timothy Finin %A Pascal Hitzler %A Krzysztof Janowicz %A Thomas Narock %A Lisa Raymond %A Adam Shepherd %A Peter Wiebe %XEarthCube 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.
%B OceanLink Technical Report %G eng %0 Conference Paper %B American Geophysical Union Fall Meeting, San Francisco, 15-19 December 2014. %D 2014 %T Provenance Usage in the OceanLink Project %A Thomas Narock %A Robert Arko %A Suzanne Carbotte %A Cynthia Chandler %A Michelle Cheatham %A Douglas Fils %A Timothy Finin %A Pascal Hitzler %A Krzysztof Janowicz %A Matthew Jones %A Adila Krisnadhi %A Kerstin Lehnert %A Audrey Mickle %A Lisa Raymond %A Mark Schildhauer %A Adam Shepherd %A Peter Wiebe %B American Geophysical Union Fall Meeting, San Francisco, 15-19 December 2014. %G eng %0 Conference Paper %B European Geosciences Union General Assembly 2014, Vienna, Austria, 27 April - 02 May 2014 %D 2014 %T Semantic Entity Pairing for Improved Data Validation and Discovery %A Adam Shepherd %A Cynthia Chandler %A Robert Arko %A Yanning Chen %A Adila Krisnadhi %A Pascal Hitzler %A Thomas Narock %A Robert Groman %A Shannon Rauch %XOne 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.
%B European Geosciences Union General Assembly 2014, Vienna, Austria, 27 April - 02 May 2014 %V 16 %P 2476 %8 05/2014 %G eng %0 Conference Paper %B American Geophysical Union Fall Meeting, San Francisco, 15-19 December 2014 %D 2014 %T Using Linked Open Data and Semantic Integration to Search Across Geoscience Repositories. %A Lisa Raymond %A Adam Shepherd %A Robert Arko %A Suzanne Carbotte %A Cynthia Chandler %A Michelle Cheatham %A Douglas Fils %A Pascal Hitzler %A Krzysztof Janowicz %A Matthew Jones %A Adila Krisnadhi %A Kerstin Lehnert %A Audrey Mickle %A Thomas Narock %A Mark Schildhauer %A Peter Wiebe %B American Geophysical Union Fall Meeting, San Francisco, 15-19 December 2014 %G eng %0 Conference Paper %B The Semantic Web: Semantics and Big Data, 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings %D 2013 %T An Ontology Design Pattern for Cartographic Map Scaling %A David Carral %A Simon Scheider %A Krzysztof Janowicz %A Charles Vardeman %A Adila Krisnadhi %A Pascal Hitzler %E Philipp Cimiano %E Óscar Corcho %E Valentina Presutti %E Laura Hollink %E Sebastian Rudolph %K Map Scaling %K Ontology Design Patterns %K OWL %XThe 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.
%B The Semantic Web: Semantics and Big Data, 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings %I Springer %V 7882 %P 76–93 %G eng %U http://dx.doi.org/10.1007/978-3-642-38288-8_6 %R 10.1007/978-3-642-38288-8_6 %0 Conference Paper %B Proceedings of OWL: Experiences and Directions Workshop 2012, Heraklion, Crete, Greece, May 27-28, 2012 %D 2012 %T Integrating OWL and Rules: A Syntax Proposal for Nominal Schemas %A David Carral %A Adila Krisnadhi %A Pascal Hitzler %E Pavel Klinov %E Matthew Horridge %X 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. %B Proceedings of OWL: Experiences and Directions Workshop 2012, Heraklion, Crete, Greece, May 27-28, 2012 %I CEUR-WS.org %V 849 %8 05/2012 %G eng %U http://ceur-ws.org/Vol-849/paper_6.pdf %0 Conference Paper %B Metadata Challenge at the 21st International Conference on World Wide Web (WWW 2012) %D 2012 %T Konf Connect %A David Carral %A Joshi, Amit Krishna %A Adila Krisnadhi %A Raghava Mutharaju %A Kunal Sengupta %A Cong Wang %XWe 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.
%B Metadata Challenge at the 21st International Conference on World Wide Web (WWW 2012) %C Lyon, France %G eng %0 Generic %D 2012 %T Reasoning Approaches for Nominal Schemas %A Cong Wang %A Adila Krisnadhi %A David Carral %A Pascal Hitzler %I JIST %C Nara, Japan %V Poster and Demonstration Proceedings %0 Conference Paper %B Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings %D 2012 %T Recent Advances in Integrating OWL and Rules %A Matthias Knorr %A David Carral %A Pascal Hitzler %A Adila Krisnadhi %A Frederick Maier %A Cong Wang %E Markus Krötzsch %E Umberto Straccia %K description logics %K OWL %K Rules %X 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. %B Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings %I Springer %C Austria, Vienna %V 7497 %P 225-228 %8 09/2012 %G eng %U http://dx.doi.org/10.1007/978-3-642-33203-6_20 %R 10.1007/978-3-642-33203-6_20 %0 Conference Paper %B Web Reasoning and Rule Systems, 6th International Conference, RR2012, Vienna, Austria, September 10-12, 2012, Proceedings %D 2012 %T A Tableau Algorithm for Description Logics with Nominal Schemas %A Adila Krisnadhi %A Pascal Hitzler %E Markus Krötzsch %E Umberto Straccia %XWe 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.
%B Web Reasoning and Rule Systems, 6th International Conference, RR2012, Vienna, Austria, September 10-12, 2012, Proceedings %I Springer %V 7497 %P 234-237 %8 09/2012 %G eng %R 10.1007/978-3-642-33203-6_22 %0 Conference Paper %B Proceedings of the 20th International Conference on World Wide Web, WWW 2011, Hyderabad, India, March 28 - April 1, 2011 %D 2011 %T A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies %A Markus Krötzsch %A Frederick Maier %A Adila Krisnadhi %A Pascal Hitzler %E Sadagopan Srinivasan %E Krithi Ramamritham %E Arun Kumar %E M. P. Ravindra %E Elisa Bertino %E Ravi Kumar %K datalog %K Description Logic %K Semantic Web Rule Language %K SROIQ %K tractability %K Web Ontology Language %X 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. %B Proceedings of the 20th International Conference on World Wide Web, WWW 2011, Hyderabad, India, March 28 - April 1, 2011 %I ACM %P 645-654 %8 03/2011 %@ 978-1-4503-0632-4 %G eng %U http://doi.acm.org/10.1145/1963405.1963496 %R 10.1145/1963405.1963496 %0 Conference Paper %B Web Reasoning and Rule Systems - 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Proceedings %D 2011 %T Local Closed World Semantics: Grounded Circumscription for Description Logics %A Adila Krisnadhi %A Kunal Sengupta %A Pascal Hitzler %E Sebastian Rudolph %E Claudio Gutierrez %X 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. %B Web Reasoning and Rule Systems - 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Proceedings %I Springer %V 6902 %P 263-268 %8 08/2011 %@ 978-3-642-23579-5 %G eng %U http://dx.doi.org/10.1007/978-3-642-23580-1 %R 10.1007/978-3-642-23580-1 %0 Conference Paper %B The Semantic Web - ISWC 2011 - 10th International Semantic Web Conference, Bonn, Germany, October 23-27, 2011, Proceedings, Part I %D 2011 %T Local Closed World Semantics: Grounded Circumscription for OWL %A Kunal Sengupta %A Adila Krisnadhi %A Pascal Hitzler %E Lora Aroyo %E Chris Welty %E Harith Alani %E Jamie Taylor %E Abraham Bernstein %E Lalana Kagal %E Natasha F. Noy %E Eva Blomqvist %X 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. %B The Semantic Web - ISWC 2011 - 10th International Semantic Web Conference, Bonn, Germany, October 23-27, 2011, Proceedings, Part I %I Springer %V 7031 %P 617-632 %8 10/2011 %G eng %R 10.1007/978-3-642-25073-6_39 %0 Conference Paper %B Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011 %D 2011 %T Local Closed World Semantics: Keep it simple, stupid! %A Adila Krisnadhi %A Kunal Sengupta %A Pascal Hitzler %E Riccardo Rosati %E Sebastian Rudolph %E Michael Zakharyaschev %K circumscription %K closed world %K decidability %K Description Logic %X 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. %B Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011 %I CEUR-WS.org %V 745 %8 07/2011 %G eng %U http://ceur-ws.org/Vol-745/paper_12.pdf %0 Conference Paper %B Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011 %D 2011 %T Nominal Schemas for Integrating Rules and Description Logics %A Markus Krötzsch %A Frederick Maier %A Adila Krisnadhi %A Pascal Hitzler %E Riccardo Rosati %E Sebastian Rudolph %E Michael Zakharyaschev %X 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. %B Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011 %I CEUR-WS.org %V 745 %8 07/2011 %G eng %U http://ceur-ws.org/Vol-745/paper_39.pdf %0 Conference Paper %B Reasoning Web. Semantic Technologies for the Web of Data - 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011, Tutorial Lectures %D 2011 %T OWL and Rules %A Adila Krisnadhi %A Frederick Maier %A Pascal Hitzler %E Axel Polleres %E Claudia d'Amato %E Marcelo Arenas %E Siegfried Handschuh %E Paula Kroner %E Sascha Ossowski %E Peter F. Patel-Schneider %X 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. %B Reasoning Web. Semantic Technologies for the Web of Data - 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011, Tutorial Lectures %I Springer %V 6848 %P 382-415 %8 08/2011 %@ 978-3-642-23031-8 %G eng %U http://dx.doi.org/10.1007/978-3-642-23032-5 %R 10.1007/978-3-642-23032-5 %0 Conference Paper %B Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings %D 2007 %T Data Complexity in the EL Family of Description Logics %A Adila Krisnadhi %A Carsten Lutz %E Nachum Dershowitz %E Andrei Voronkov %X 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 %B Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings %I Springer %V 4790 %P 333-347 %8 10/2007 %G eng %U http://dx.doi.org/10.1007/978-3-540-75560-9_25 %R 10.1007/978-3-540-75560-9_25 %0 Conference Paper %B Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007 %D 2007 %T Data Complexity in the EL family of DLs %A Adila Krisnadhi %A Carsten Lutz %E Diego Calvanese %E Enrico Franconi %E Volker Haarslev %E Domenico Lembo %E Boris Motik %E Anni-Yasmin Turhan %E Sergio Tessaris %B Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007 %I CEUR-WS.org %V 250 %8 06/2007 %G eng %U http://ceur-ws.org/Vol-250/paper_15.pdf %0 Thesis %D 2007 %T Data Complexity of Instance Checking in the EL Family of Description Logics %A Adila Krisnadhi %X 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. %I Technische Universität Dresden %C Dresden %V Master of Science %P v+68 %8 03/2007 %G eng %U http://lat.inf.tu-dresden.de/research/mas/#Kri-Mas-07 %9 Master's