00493nas a2200121 4500008004100000245007600041210006900117100001300186700002300199700002100222700002000243856010800263 2020 eng d00aGeoLink Dataset: A Complex Alignment Benchmark from Real-world Ontology0 aGeoLink Dataset A Complex Alignment Benchmark from Realworld Ont1 aZhou, Lu1 aCheatham, Michelle1 aKrisnadhi, Adila1 aHitzler, Pascal uhttps://daselab.cs.ksu.edu/publications/geolink-dataset-complex-alignment-benchmark-real-world-ontology01071nas a2200157 4500008004100000024002200041245004200063210004100105260001400146490000700160520060700167100001900774700002000793700002100813856007900834 2020 eng d a10.3233/SSW20003200aModular Ontology Modeling: A Tutorial0 aModular Ontology Modeling A Tutorial bIOS Press0 v493 a
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.
10adesign patterns10aevaluation10aimplementation10aontology10aschema diagrams10avisualization1 aShimizu, Cogan1 aEberhart, Aaron1 aKarima, Nazifa1 aHirt, Quinn1 aKrisnadhi, Adila1 aHitzler, Pascal uhttps://daselab.cs.ksu.edu/publications/method-automatically-generating-schema-diagrams-owl-ontologies00452nas a2200133 4500008004100000245005100041210004800092260001300140100001300153700002300166700002100189700002000210856008800230 2018 eng d00aA Complex Alignment Benchmark: Geolink dataset0 aComplex Alignment Benchmark Geolink dataset bSpringer1 aZhou, Lu1 aCheatham, Michelle1 aKrisnadhi, Adila1 aHitzler, Pascal uhttps://daselab.cs.ksu.edu/publications/complex-alignment-benchmark-geolink-dataset00523nas a2200181 4500008004100000245003200041210002800073100002300101700002100124700002000145700002000165700002400185700001900209700001600228700001600244700001300260856006800273 2018 eng d00aThe GeoLink Knowledge Graph0 aGeoLink Knowledge Graph1 aCheatham, Michelle1 aKrisnadhi, Adila1 aAmini, Reihaneh1 aHitzler, Pascal1 aJanowicz, Krzysztof1 aShepherd, Adam1 aNarock, Tom1 aJones, Matt1 aJi, Peng uhttps://daselab.cs.ksu.edu/publications/geolink-knowledge-graph00525nas a2200181 4500008004100000245003200041210002800073100002300101700002100124700002000145700002000165700002400185700001900209700001600228700001600244700001300260856007000273 2018 eng d00aThe GeoLink Knowledge Graph0 aGeoLink Knowledge Graph1 aCheatham, Michelle1 aKrisnadhi, Adila1 aAmini, Reihaneh1 aHitzler, Pascal1 aJanowicz, Krzysztof1 aShepherd, Adam1 aNarock, Tom1 aJones, Matt1 aJi, Peng uhttps://daselab.cs.ksu.edu/publications/geolink-knowledge-graph-000542nam a2200169 4500008004100000245004500041210004500086260002500131490000700156100001700163700002000180700002700200700002100227700002200248700002000270856008200290 2017 eng d00aAdvances in Ontology Design and Patterns0 aAdvances in Ontology Design and Patterns aAmsterdambIOS Press0 v321 aHammar, Karl1 aHitzler, Pascal1 aLawrynowicz, Agnieszka1 aKrisnadhi, Adila1 aNuzzolese, Andrea1 aSolanki, Monika uhttps://daselab.cs.ksu.edu/publications/advances-ontology-design-and-patterns00661nas a2200181 4500008004100000245008500041210006900126300000800195490000600203100002200209700002100231700002300252700002400275700002000299700002000319700002200339856011800361 2017 eng d00aAn Ontology Design Pattern and Its Use Case for Modeling Material Transformation0 aOntology Design Pattern and Its Use Case for Modeling Material T a7310 v81 aVardeman, Charles1 aKrisnadhi, Adila1 aCheatham, Michelle1 aJanowicz, Krzysztof1 aFerguson, Holly1 aHitzler, Pascal1 aBuccellato, Aimee uhttps://daselab.cs.ksu.edu/publications/ontology-design-pattern-and-its-use-case-modeling-material-transformation01322nas a2200133 4500008004100000245005600041210005500097520085900152100002701011700002101038700001801059700002001077856009101097 2017 eng d00aRule-based OWL Modeling with ROWLTab Protege Plugin0 aRulebased OWL Modeling with ROWLTab Protege Plugin3 aIt 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.
1 aSarker, Md Kamruzzaman1 aKrisnadhi, Adila1 aCarral, David1 aHitzler, Pascal uhttps://daselab.cs.ksu.edu/publications/rule-based-owl-modeling-rowltab-protege-plugin00880nas a2200265 4500008004100000245006900041210006900110260002500179100001700204700001900221700001800240700002100258700002000279700001800299700002900317700002000346700002400366700001900390700002100409700001600430700001900446700002000465700002000485856010900505 2016 eng d00aCollected Research Questions Concerning Ontology Design Patterns0 aCollected Research Questions Concerning Ontology Design Patterns aAmsterdambIOS Press1 aHammar, Karl1 aBlomqvist, Eva1 aCarral, David1 avan Erp, Marieke1 aFokkens, Antske1 aGangemi, Aldo1 avan Hage, Willem, Robert1 aHitzler, Pascal1 aJanowicz, Krzysztof1 aKarima, Nazifa1 aKrisnadhi, Adila1 aNarock, Tom1 aSegers, Roxane1 aSolanki, Monika1 aSvatek, Vojtech uhttps://daselab.cs.ksu.edu/publications/collected-research-questions-concerning-ontology-design-patterns00550nas a2200169 4500008004100000245005400041210005400095300000800149490000600157100001900163700002000182700002400202700002100226700001900247700002000266856009400286 2016 eng d00aConsiderations regarding Ontology Design Patterns0 aConsiderations regarding Ontology Design Patterns a1-70 v71 aBlomqvist, Eva1 aHitzler, Pascal1 aJanowicz, Krzysztof1 aKrisnadhi, Adila1 aNarock, Thomas1 aSolanki, Monika uhttps://daselab.cs.ksu.edu/publications/considerations-regarding-ontology-design-patterns00523nas a2200145 4500008004100000245005700041210005600098260002500154100002400179700001800203700002000221700002100241700002400262856009100286 2016 eng d00aIntroduction: Ontology Design Patterns in a Nutshell0 aIntroduction Ontology Design Patterns in a Nutshell aAmsterdambIOS Press1 aJanowicz, Krzysztof1 aGangemi, Aldo1 aHitzler, Pascal1 aKrisnadhi, Adila1 aPresutti, Valentina uhttps://daselab.cs.ksu.edu/publications/introduction-ontology-design-patterns-nutshell01045nas a2200145 4500008004100000245005300041210005200094260007200146520055100218100002700769700001800796700002100814700002000835856004400855 2016 eng d00aModeling OWL with Rules: The ROWL Protege Plugin0 aModeling OWL with Rules The ROWL Protege Plugin aKobe, Japanb15th International Semantic Web Conference (ISWC) 20163 aAbstract. 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.
1 aSarker, Md Kamruzzaman1 aCarral, David1 aKrisnadhi, Adila1 aHitzler, Pascal uhttp://ceur-ws.org/Vol-1690/paper92.pdf00498nas a2200133 4500008004100000245007600041210006900117260001400186300001100200490000700211100002100218700002000239856010500259 2016 eng d00aModeling With Ontology Design Patterns: Chess Games As a Worked Example0 aModeling With Ontology Design Patterns Chess Games As a Worked E bIOS Press a3–210 v251 aKrisnadhi, Adila1 aHitzler, Pascal uhttps://daselab.cs.ksu.edu/publications/modeling-ontology-design-patterns-chess-games-worked-example00431nas a2200097 4500008004100000245007800041210006900119260003400188100002100222856009000243 2016 eng d00aModular Ontology Architecture for Data Integration in the GeoLink Project0 aModular Ontology Architecture for Data Integration in the GeoLin aOntology Summit 2016 (online)1 aKrisnadhi, Adila uhttp://ontologforum.org/index.php?title=ConferenceCall_2016_02_25&oldid=22543#hid1C2C00445nas a2200109 4500008004100000245007800041210006900119300001400188490000700202100002100209856010500230 2016 eng d00aOntology Design Patterns for Data Integration: The {G}eo{L}ink Experience0 aOntology Design Patterns for Data Integration The G eo L ink Exp a267 - 2780 v251 aKrisnadhi, Adila uhttps://daselab.cs.ksu.edu/publications/ontology-design-patterns-data-integration-geolink-experience00571nas a2200169 4500008004100000245005600041210005600097300001400153490000700167100002100174700001900195700002000214700002000234700003100254700002400285856009200309 2016 eng d00aOntology Design Patterns for Linked Data Publishing0 aOntology Design Patterns for Linked Data Publishing a201 - 2320 v251 aKrisnadhi, Adila1 aKarima, Nazifa1 aHitzler, Pascal1 aAmini, Reihaneh1 aRodríguez-Doncel, Víctor1 aJanowicz, Krzysztof uhttps://daselab.cs.ksu.edu/publications/ontology-design-patterns-linked-data-publishing00612nam a2200157 4500008004100000245008500041210006900126260002500195490000800220100002000228700001800248700002400266700002100290700002400311856011900335 2016 eng d00aOntology Engineering with Ontology Design Patterns: Foundations and Applications0 aOntology Engineering with Ontology Design Patterns Foundations a aAmsterdambIOS Press0 v0251 aHitzler, Pascal1 aGangemi, Aldo1 aJanowicz, Krzysztof1 aKrisnadhi, Adila1 aPresutti, Valentina uhttps://daselab.cs.ksu.edu/publications/ontology-engineering-ontology-design-patterns-foundations-and-applications00948nas a2200133 4500008004100000245008300041210006900124260009700193520041200290100002700702700002100729700002000750856004400770 2016 eng d00aOWLAx: A Protege Plugin to Support Ontology Axiomatization through Diagramming0 aOWLAx A Protege Plugin to Support Ontology Axiomatization throug aKobe, Japanb15th International Semantic Web Conference, ISWC2016, Kobe, Japan, October 20163 aAbstract. 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.
1 aSarker, Md Kamruzzaman1 aKrisnadhi, Adila1 aHitzler, Pascal uhttp://ceur-ws.org/Vol-1690/paper83.pdf00320nas a2200121 4500008004100000245002400041210001900065260001400084300001400098490000700112100002100119856005800140 2016 eng d00aThe {R}ole Patterns0 aR ole Patterns bIOS Press a313–3190 v251 aKrisnadhi, Adila uhttps://daselab.cs.ksu.edu/publications/role-patterns00413nas a2200109 4500008004100000245005900041210005200100260002500152100002000177700002100197856008500218 2016 eng d00aOn the Roles of Logical Axiomatizations for Ontologies0 aRoles of Logical Axiomatizations for Ontologies aAmsterdambIOS Press1 aHitzler, Pascal1 aKrisnadhi, Adila uhttps://daselab.cs.ksu.edu/publications/roles-logical-axiomatizations-ontologies00381nas a2200121 4500008004100000245003500041210003500076100001900111700002100130700002000151700001600171856007200187 2016 eng d00aUpdate on ESIP Testbed Project0 aUpdate on ESIP Testbed Project1 aKarima, Nazifa1 aKrisnadhi, Adila1 aHitzler, Pascal1 aNarock, Tom uhttps://daselab.cs.ksu.edu/publications/update-esip-testbed-project00925nas a2200289 4500008004100000245006900041210006800110100002100178700002200199700002200221700002300243700001800266700002000284700002400304700001300328700001900341700002100360700002100381700001900402700001600421700002200437700001800459700002200477700001900499700001700518856010000535 2015 eng d00aEarthCube GeoLink: Semantics and Linked Data for the Geosciences0 aEarthCube GeoLink Semantics and Linked Data for the Geosciences1 aArko, Robert, A.1 aCarbotte, Suzanne1 aChandler, Cynthia1 aCheatham, Michelle1 aFils, Douglas1 aHitzler, Pascal1 aJanowicz, Krzysztof1 aJi, Peng1 aJones, Matthew1 aKrisnadhi, Adila1 aLehnert, Kerstin1 aMickle, Audrey1 aNarock, Tom1 aO'Brien, Margaret1 aRaymond, Lisa1 aSchildhauer, Mark1 aShepherd, Adam1 aWiebe, Peter uhttps://daselab.cs.ksu.edu/publications/earthcube-geolink-semantics-and-linked-data-geosciences01032nas a2200337 4500008003900000245007000039210006300109260001200172100002100184700001600205700002400221700002000245700001700265700002200282700002200304700002300326700001800349700001900367700001300386700001900399700001900418700002100437700001900458700001900477700002200496700001800518700001900536700002200555700001700577856010000594 2015 d00aThe {GeoLink} Framework for Pattern-based Linked Data Integration0 aGeoLink Framework for Patternbased Linked Data Integration c10/20151 aKrisnadhi, Adila1 aHu, Yingjie1 aJanowicz, Krzsyztof1 aHitzler, Pascal1 aArko, Robert1 aCarbotte, Suzanne1 aChandler, Cynthia1 aCheatham, Michelle1 aFils, Douglas1 aFinin, Timothy1 aJi, Peng1 aJones, Matthew1 aKarima, Nazifa1 aLehnert, Kerstin1 aMickle, Audrey1 aNarock, Thomas1 aO'Brien, Margaret1 aRaymond, Lisa1 aShepherd, Adam1 aSchildhauer, Mark1 aWiebe, Peter uhttps://daselab.cs.ksu.edu/publications/geolink-framework-pattern-based-linked-data-integration00983nas a2200337 4500008004100000245004800041210004200089260002200131100002100153700001600174700002400190700002000214700001700234700002200251700002200273700002300295700001800318700001900336700001300355700001900368700001900387700002100406700001900427700001900446700002200465700001800487700001900505700002200524700001700546856008200563 2015 eng d00aThe {GeoLink} Modular Oceanography Ontology0 aGeoLink Modular Oceanography Ontology bSpringerc10/20151 aKrisnadhi, Adila1 aHu, Yingjie1 aJanowicz, Krzysztof1 aHitzler, Pascal1 aArko, Robert1 aCarbotte, Suzanne1 aChandler, Cynthia1 aCheatham, Michelle1 aFils, Douglas1 aFinin, Timothy1 aJi, Peng1 aJones, Matthew1 aKarima, Nazifa1 aLehnert, Kerstin1 aMickle, Audrey1 aNarock, Thomas1 aO'Brien, Margaret1 aRaymond, Lisa1 aShepherd, Adam1 aSchildhauer, Mark1 aWiebe, Peter uhttps://daselab.cs.ksu.edu/publications/geolink-modular-oceanography-ontology00796nas a2200253 4500008004100000245005600041210005500097100001900152700002200171700002100193700001900214700002000233700002400253700002100277700002200298700001800320700001600338700001900354700002200373700002100395700001900416700001900435856008800454 2015 eng d00aLinked Data: Forming Partnerships at the Data Layer0 aLinked Data Forming Partnerships at the Data Layer1 aShepherd, Adam1 aChandler, Cynthia1 aArko, Robert, A.1 aJones, Matthew1 aHitzler, Pascal1 aJanowicz, Krzysztof1 aKrisnadhi, Adila1 aSchildhauer, Mark1 aFils, Douglas1 aNarock, Tom1 aGroman, Robert1 aO'Brien, Margaret1 aPatton, Evan, W.1 aKinkade, Danie1 aRauch, Shannon uhttps://daselab.cs.ksu.edu/publications/linked-data-forming-partnerships-data-layer00813nas a2200253 4500008004100000245006200041210006000103260001200163100002400175700002100199700001600220700001700236700002600253700002000279700002000299700002100319700002100340700002000361700002200381700002300403700002200426700001500448856009600463 2015 eng d00aA Minimal Ontology Pattern for Life Cycle Assessment Data0 aMinimal Ontology Pattern for Life Cycle Assessment Data c10/20151 aJanowicz, Krzysztof1 aKrisnadhi, Adila1 aHu, Yingjie1 aSuh, Sangwon1 aWeidema, Bo, Pedersen1 aRivela, Beatriz1 aTivander, Johan1 aMeyer, David, E.1 aBerg-Cross, Gary1 aHitzler, Pascal1 aIngwersen, Wesley1 aKuczenski, Brandon1 aVardeman, Charles1 aJu, Yiting uhttps://daselab.cs.ksu.edu/publications/minimal-ontology-pattern-life-cycle-assessment-data00552nas a2200181 4500008004100000245004700041210004400088260001200132490000900144100002100153700003100174700002000205700002300225700001900248700002000267700002000287856006300307 2015 eng d00aAn Ontology Design Pattern for Chess Games0 aOntology Design Pattern for Chess Games c10/20150 v14611 aKrisnadhi, Adila1 aRodríguez-Doncel, Víctor1 aHitzler, Pascal1 aCheatham, Michelle1 aKarima, Nazifa1 aAmini, Reihaneh1 aColeman, Ashley uhttp://ceur-ws.org/Vol-1461/WOP2015_pattern_abstract_2.pdf00612nas a2200193 4500008004100000245006600041210006300107260002500170490000900195100002000204700002100224700002200245700001900267700002000286700002100306700001900327700002000346856005200366 2015 eng d00aAn Ontology Design Pattern for Dynamic Relative Relationships0 aOntology Design Pattern for Dynamic Relative Relationships bCEUR-WS.orgc10/20150 v14611 aFerguson, Holly1 aKrisnadhi, Adila1 aVardeman, Charles1 aBlomqvist, Eva1 aHitzler, Pascal1 aKrisnadhi, Adila1 aNarock, Thomas1 aSolanki, Monika uhttp://ceur-ws.org/Vol-1461/WOP2015_paper_3.pdf01469nas a2200301 4500008004100000245006100041210005800102260002500160490000900185520055600194100001800750700002300768700002800791700002400819700002600843700002000869700002100889700002500910700003000935700002200965700001800987700001901005700002001024700002101044700001901065700002001084856006301104 2015 eng d00aAn Ontology Design Pattern for Particle Physics Analysis0 aOntology Design Pattern for Particle Physics Analysis bCEUR-WS.orgc10/20150 v14613 aThe 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.
1 aCarral, David1 aCheatham, Michelle1 aDallmeir-Tiessen, Sunje1 aHerterich, Patricia1 aHildreth, Michael, D.1 aHitzler, Pascal1 aKrisnadhi, Adila1 aLassila-Perini, Kati1 aSexton-Kennedy, Elizabeth1 aVardeman, Charles1 aWatts, Gordon1 aBlomqvist, Eva1 aHitzler, Pascal1 aKrisnadhi, Adila1 aNarock, Thomas1 aSolanki, Monika uhttp://ceur-ws.org/Vol-1461/WOP2015_pattern_abstract_5.pdf00887nas a2200241 4500008004100000245012400041210006900165100001900234700001700253700002100270700002000291700002400311700002200335700001900357700002300376700002200399700001900421700001800440700001900458700001900477700001800496856013100514 2015 eng d00aOntology Design Patterns: Bridging the Gap Between Local Semantic Use Cases and Large-Scale, Long-Term Data Integration0 aOntology Design Patterns Bridging the Gap Between Local Semantic1 aShepherd, Adam1 aArko, Robert1 aKrisnadhi, Adila1 aHitzler, Pascal1 aJanowicz, Krzysztof1 aChandler, Cynthia1 aNarock, Thomas1 aCheatham, Michelle1 aSchildhauer, Mark1 aJones, Matthew1 aRaymond, Lisa1 aMickle, Audrey1 aFinin, Timothy1 aFils, Douglas uhttps://daselab.cs.ksu.edu/publications/ontology-design-patterns-bridging-gap-between-local-semantic-use-cases-and-large-scale00846nas a2200277 4500008004100000245007800041210006900119260002500188300001000213490000900223100001200232700001600244700002300260700002400283700002200307700002100329700002000350700001700370700002200387700002100409700002000430700002300450700001900473700001800492856005800510 2015 eng d00aAn Ontology For Specifying Spatiotemporal Scopes in Life Cycle Assessment0 aOntology For Specifying Spatiotemporal Scopes in Life Cycle Asse bCEUR-WS.orgc10/2015 a25-300 v15011 aYan, Bo1 aHu, Yingjie1 aKuczenski, Brandon1 aJanowicz, Krzsyztof1 aBallatore, Andrea1 aKrisnadhi, Adila1 aHitzler, Pascal1 aSuh, Sangwon1 aIngwersen, Wesley1 ad'Amato, Claudia1 aLécué, Freddy1 aMutharaju, Raghava1 aNarock, Thomas1 aWirth, Fabian uhttp://ceur-ws.org/Vol-1501/Diversity2015-paper_4.pdf00449nas a2200109 4500008004100000245006800041210006700109100002000176700002400196700002100220856009800241 2015 eng d00aOntology modeling with domain experts: The GeoVoCamp experience0 aOntology modeling with domain experts The GeoVoCamp experience1 aHitzler, Pascal1 aJanowicz, Krzysztof1 aKrisnadhi, Adila uhttps://daselab.cs.ksu.edu/publications/ontology-modeling-domain-experts-geovocamp-experience01948nas a2200253 4500008004100000245012400041210006900165260001400234300001200248520107400260100002101334700001701355700002201372700002201394700002301416700001901439700002001458700002401478700001901502700001801521700001901539700001701558856011901575 2015 eng d00aOntology Pattern Modeling for Cross-Repository Data Integration in the Ocean Sciences: The Oceanographic Cruise Example0 aOntology Pattern Modeling for CrossRepository Data Integration i bIOS Press a256-2843 aEarthCube 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.1 aKrisnadhi, Adila1 aArko, Robert1 aCarbotte, Suzanne1 aChandler, Cynthia1 aCheatham, Michelle1 aFinin, Timothy1 aHitzler, Pascal1 aJanowicz, Krzysztof1 aNarock, Thomas1 aRaymond, Lisa1 aShepherd, Adam1 aWiebe, Peter uhttps://daselab.cs.ksu.edu/publications/ontology-pattern-modeling-cross-repository-data-integration-ocean-sciences03243nas a2200133 4500008004100000245004400041210004300085260004500128300000800173490002500181520281700206100002103023856006503044 2015 eng d00aOntology Pattern-Based Data Integration0 aOntology PatternBased Data Integration aDaytonbWright State Universityc12/2015 a2330 vDoctor of Philosophy3 aData 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.
1 aRodríguez-Doncel, Víctor1 aKrisnadhi, Adila1 aHitzler, Pascal1 aCheatham, Michelle1 aKarima, Nazifa1 aAmini, Reihaneh1 aHartig, Olaf1 aSequeda, Juan1 aHogan, Aidan uhttp://dase.cs.wright.edu/publications/pattern-based-linked-data-publication-linked-chess-dataset-case00676nas a2200133 4500008004100000245020700041210006900248100001900317700002000336700002100356700001600377700002000393856012900413 2015 eng d00aProceedings 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, 20150 aProceedings of the 6th Workshop on Ontology and Semantic Web Pat1 aBlomqvist, Eva1 aHitzler, Pascal1 aKrisnadhi, Adila1 aNarock, Tom1 aSolanki, Monika uhttps://daselab.cs.ksu.edu/publications/proceedings-6th-workshop-ontology-and-semantic-web-patterns-wop-2015-co-located-14th01985nas a2200325 4500008004100000245005200041210004400093260002500137300001000162490000900172520104900181100002101230700001701251700002201268700002201290700002301312700002001335700001601355700002401371700001301395700001901408700001901427700001701446700002101463700002001484700002301504700001901527700001801546856009501564 2015 eng d00a{R2R+BCO-DMO} – Linked Oceanographic Datasets0 aR2RBCODMO Linked Oceanographic Datasets bCEUR-WS.orgc10/2015 a15-240 v15013 aThe 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.1 aKrisnadhi, Adila1 aArko, Robert1 aCarbotte, Suzanne1 aChandler, Cynthia1 aCheatham, Michelle1 aHitzler, Pascal1 aHu, Yingjie1 aJanowicz, Krzysztof1 aJi, Peng1 aKarima, Nazifa1 aShepherd, Adam1 aWiebe, Peter1 ad'Amato, Claudia1 aLécué, Freddy1 aMutharaju, Raghava1 aNarock, Thomas1 aWirth, Fabian uhttps://daselab.cs.ksu.edu/publications/r2rbco-dmo-%E2%80%93-linked-oceanographic-datasets01097nas a2200229 4500008004100000245008000041210006900121260002500190300001100215490000900226520039900235653002300634653001600657653000800673100001800681700002100699700002300720700002000743700001600763700002800779856006000807 2014 eng d00aAll But Not Nothing: Left-Hand Side Universals for Tractable {OWL} Profiles0 aAll But Not Nothing LeftHand Side Universals for Tractable OWL P bCEUR-WS.orgc10/2014 a97-1080 v12653 aWe 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.10adescription logics10aHorn Logics10aOWL1 aCarral, David1 aKrisnadhi, Adila1 aRudolph, Sebastian1 aHitzler, Pascal1 aKeet, Maria1 aTamma, Valentina, A. M. uhttp://ceur-ws.org/Vol-1265/owled2014_submission_13.pdf00610nas a2200157 4500008004100000020002200041245016500063210006900228260001300297490000900310100001800319700002000337700002100357700002600378856004800404 2014 eng d a978-3-319-10553-600aArtificial Intelligence: Methodology, Systems, and Applications - 16th International Conference, AIMSA 2014, Varna, Bulgaria, September 11-13, 2014. Proceedings0 aArtificial Intelligence Methodology Systems and Applications 16t bSpringer0 v87221 aAgre, Gennady1 aHitzler, Pascal1 aKrisnadhi, Adila1 aKuznetsov, Sergei, O. uhttp://dx.doi.org/10.1007/978-3-319-10554-300327nas a2200121 4500008004100000245002300041210002300064260001300087300001200100100002100112700002000133856005200153 2014 eng d00aDescription Logics0 aDescription Logics bSpringer a346-3511 aKrisnadhi, Adila1 aHitzler, Pascal uhttp://dx.doi.org/10.1007/978-1-4614-6170-8_10800576nas a2200205 4500008004100000245002600041210002200067100001900089700001700108700002200125700002200147700002300169700001900192700002000211700002100231700001800252700001900270700001700289856006400306 2014 eng d00aThe OceanLink Project0 aOceanLink Project1 aNarock, Thomas1 aArko, Robert1 aCarbotte, Suzanne1 aChandler, Cynthia1 aCheatham, Michelle1 aFinin, Timothy1 aHitzler, Pascal1 aKrisnadhi, Adila1 aRaymond, Lisa1 aShepherd, Adam1 aWiebe, Peter uhttps://daselab.cs.ksu.edu/publications/oceanlink-project-001693nas a2200385 4500008004100000020002200041245002800063210002200091260002000113300001000133520067700143100001900820700001700839700002200856700002100878700002000899700002300919700001900942700002200961700001800983700001701001700001901018700001501037700001401052700001601066700001401082700002301096700002001119700001801139700002001157700001401177700002201191700002201213856007201235 2014 eng d a978-1-4799-5665-400aThe {OceanLink} project0 aOceanLink project b{IEEE}c10/2014 a14-213 aToday'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.1 aNarock, Thomas1 aArko, Robert1 aCarbotte, Suzanne1 aKrisnadhi, Adila1 aHitzler, Pascal1 aCheatham, Michelle1 aShepherd, Adam1 aChandler, Cynthia1 aRaymond, Lisa1 aWiebe, Peter1 aFinin, Timothy1 aLin, Jimmy1 aPei, Jian1 aHu, Xiaohua1 aChang, Wo1 aNambiar, Raghunath1 aAggarwal, Charu1 aCercone, Nick1 aHonavar, Vasant1 aHuan, Jun1 aMobasher, Bamshad1 aPyne, Saumyadipta uhttp://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=697386101137nas a2200229 4500008004100000245007100041210006600112260002500178300001000203490000900213520046800222100001600690700002100706700001500727700002400742700002000766700002000786700001800806700002400824700002700848856003200875 2014 eng d00aAn Ontology Design Pattern for Cooking Recipes - Classroom Created0 aOntology Design Pattern for Cooking Recipes Classroom Created bCEUR-WS.orgc10/2014 a49-600 v13023 aWe 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.1 aSam, Monica1 aKrisnadhi, Adila1 aWang, Cong1 aGallagher, John, C.1 aHitzler, Pascal1 ade Boer, Victor1 aGangemi, Aldo1 aJanowicz, Krzysztof1 aLawrynowicz, Agnieszka uhttp://ceur-ws.org/Vol-130201183nas a2200289 4500008004100000245005900041210005600100260002500156300001000181490000900191520034600200100002200546700002100568700002300589700002400612700002000636700002000656700002200676700003200698700002100730700002100751700002000772700001800792700002400810700002700834856003200861 2014 eng d00aAn Ontology Design Pattern for Material Transformation0 aOntology Design Pattern for Material Transformation bCEUR-WS.orgc10/2014 a73-770 v13023 aIn 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.1 aVardeman, Charles1 aKrisnadhi, Adila1 aCheatham, Michelle1 aJanowicz, Krzysztof1 aFerguson, Holly1 aHitzler, Pascal1 aBuccellato, Aimee1 aThirunarayan, Krishnaprasad1 aBerg-Cross, Gary1 aHahmann, Torsten1 ade Boer, Victor1 aGangemi, Aldo1 aJanowicz, Krzysztof1 aLawrynowicz, Agnieszka uhttp://ceur-ws.org/Vol-130200894nas a2200289 4500008004100000245006200041210006200103490000600165100002000171700002100191700001700212700002200229700002200251700002300273700001900296700002400315700001900339700001800358700001900376700001700395700001800412700002300430700001700453700002000470700001600490856009800506 2014 eng d00aOntology Design Patterns for Ocean Science Data Discovery0 aOntology Design Patterns for Ocean Science Data Discovery0 v31 aHitzler, Pascal1 aKrisnadhi, Adila1 aArko, Robert1 aCarbotte, Suzanne1 aChandler, Cynthia1 aCheatham, Michelle1 aFinin, Timothy1 aJanowicz, Krzysztof1 aNarock, Thomas1 aRaymond, Lisa1 aShepherd, Adam1 aWiebe, Peter1 aGangemi, Aldo1 aHafner, Verena, V.1 aKuhn, Werner1 aScheider, Simon1 aSteels, Luc uhttps://daselab.cs.ksu.edu/publications/ontology-design-patterns-ocean-science-data-discovery02084nas a2200229 4500008004100000245011700041210006900158520125400227100002101481700001701502700002201519700002201541700002301563700001901586700002001605700002401625700001901649700001801668700001901686700001701705856013201722 2014 eng d00aAn Ontology Pattern for Oceanograhic Cruises: Towards an Oceanographer's Dream of Integrated Knowledge Discovery0 aOntology Pattern for Oceanograhic Cruises Towards an Oceanograph3 aEarthCube 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.
1 aKrisnadhi, Adila1 aArko, Robert1 aCarbotte, Suzanne1 aChandler, Cynthia1 aCheatham, Michelle1 aFinin, Timothy1 aHitzler, Pascal1 aJanowicz, Krzysztof1 aNarock, Thomas1 aRaymond, Lisa1 aShepherd, Adam1 aWiebe, Peter uhttps://daselab.cs.ksu.edu/publications/ontology-pattern-oceanograhic-cruises-towards-oceanographers-dream-integrated-knowledge00830nas a2200277 4500008004100000245004600041210004600087100001900133700001700152700002200169700002200191700002300213700001800236700001900254700002000273700002400293700001900317700002100336700002100357700001900378700001800397700002200415700001900437700001700456856007900473 2014 eng d00aProvenance Usage in the OceanLink Project0 aProvenance Usage in the OceanLink Project1 aNarock, Thomas1 aArko, Robert1 aCarbotte, Suzanne1 aChandler, Cynthia1 aCheatham, Michelle1 aFils, Douglas1 aFinin, Timothy1 aHitzler, Pascal1 aJanowicz, Krzysztof1 aJones, Matthew1 aKrisnadhi, Adila1 aLehnert, Kerstin1 aMickle, Audrey1 aRaymond, Lisa1 aSchildhauer, Mark1 aShepherd, Adam1 aWiebe, Peter uhttps://daselab.cs.ksu.edu/publications/provenance-usage-oceanlink-project03809nas a2200229 4500008004100000245007100041210006900112260001200181300000900193490000700202520308900209100001903298700002203317700001703339700001803356700002103374700002003395700001903415700001903434700001903453856010703472 2014 eng d00aSemantic Entity Pairing for Improved Data Validation and Discovery0 aSemantic Entity Pairing for Improved Data Validation and Discove c05/2014 a24760 v163 aOne 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.
1 aShepherd, Adam1 aChandler, Cynthia1 aArko, Robert1 aChen, Yanning1 aKrisnadhi, Adila1 aHitzler, Pascal1 aNarock, Thomas1 aGroman, Robert1 aRauch, Shannon uhttps://daselab.cs.ksu.edu/publications/semantic-entity-pairing-improved-data-validation-and-discovery00921nas a2200265 4500008004100000245009400041210006900135100001800204700001900222700001700241700002200258700002200280700002300302700001800325700002000343700002400363700001900387700002100406700002100427700001900448700001900467700002200486700001700508856013000525 2014 eng d00aUsing Linked Open Data and Semantic Integration to Search Across Geoscience Repositories.0 aUsing Linked Open Data and Semantic Integration to Search Across1 aRaymond, Lisa1 aShepherd, Adam1 aArko, Robert1 aCarbotte, Suzanne1 aChandler, Cynthia1 aCheatham, Michelle1 aFils, Douglas1 aHitzler, Pascal1 aJanowicz, Krzysztof1 aJones, Matthew1 aKrisnadhi, Adila1 aLehnert, Kerstin1 aMickle, Audrey1 aNarock, Thomas1 aSchildhauer, Mark1 aWiebe, Peter uhttps://daselab.cs.ksu.edu/publications/using-linked-open-data-and-semantic-integration-search-across-geoscience-repositories01810nas a2200289 4500008004100000245006000041210005700101260001300158300001200171490000900183520099400192653001601186653002901202653000801231100001801239700002001257700002401277700002201301700002101323700002001344700002101364700001901385700002401404700001901428700002301447856005001470 2013 eng d00aAn Ontology Design Pattern for Cartographic Map Scaling0 aOntology Design Pattern for Cartographic Map Scaling bSpringer a76–930 v78823 aThe 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.
10aMap Scaling10aOntology Design Patterns10aOWL1 aCarral, David1 aScheider, Simon1 aJanowicz, Krzysztof1 aVardeman, Charles1 aKrisnadhi, Adila1 aHitzler, Pascal1 aCimiano, Philipp1 aCorcho, Óscar1 aPresutti, Valentina1 aHollink, Laura1 aRudolph, Sebastian uhttp://dx.doi.org/10.1007/978-3-642-38288-8_601221nas a2200169 4500008004100000245007100041210006800112260002500180490000800205520069600213100001800909700002100927700002000948700001800968700002200986856004301008 2012 eng d00aIntegrating {OWL} and Rules: A Syntax Proposal for Nominal Schemas0 aIntegrating OWL and Rules A Syntax Proposal for Nominal Schemas bCEUR-WS.orgc05/20120 v8493 aThis 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.1 aCarral, David1 aKrisnadhi, Adila1 aHitzler, Pascal1 aKlinov, Pavel1 aHorridge, Matthew uhttp://ceur-ws.org/Vol-849/paper_6.pdf01048nas a2200169 4500008004100000245001700041210001700058260001700075520060700092100001800699700002500717700002100742700002300763700002000786700001500806856005700821 2012 eng d00aKonf Connect0 aKonf Connect aLyon, France3 aWe 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.
1 aCarral, David1 aJoshi, Amit, Krishna1 aKrisnadhi, Adila1 aMutharaju, Raghava1 aSengupta, Kunal1 aWang, Cong uhttps://daselab.cs.ksu.edu/publications/konf-connect00493nas a2200145 4500008003900000245004500039210004500084260002200129490004100151100001500192700002100207700001800228700002000246856008100266 2012 d00aReasoning Approaches for Nominal Schemas0 aReasoning Approaches for Nominal Schemas aNara, JapanbJIST0 vPoster and Demonstration Proceedings1 aWang, Cong1 aKrisnadhi, Adila1 aCarral, David1 aHitzler, Pascal uhttps://daselab.cs.ksu.edu/publications/reasoning-approaches-nominal-schemas01833nas a2200253 4500008004100000245005100041210004900092260003900141300001200180490000900192520112700201653002301328653000801351653001001359100002001369700001801389700002001407700002101427700002101448700001501469700002201484700002201506856005101528 2012 eng d00aRecent Advances in Integrating {OWL} and Rules0 aRecent Advances in Integrating OWL and Rules aAustria, ViennabSpringerc09/2012 a225-2280 v74973 aAs 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.10adescription logics10aOWL10aRules1 aKnorr, Matthias1 aCarral, David1 aHitzler, Pascal1 aKrisnadhi, Adila1 aMaier, Frederick1 aWang, Cong1 aKrötzsch, Markus1 aStraccia, Umberto uhttp://dx.doi.org/10.1007/978-3-642-33203-6_2001139nas a2200169 4500008004100000245006800041210006600109260002200175300001200197490000900209520056900218100002100787700002000808700002200828700002200850856009700872 2012 eng d00aA Tableau Algorithm for Description Logics with Nominal Schemas0 aTableau Algorithm for Description Logics with Nominal Schemas bSpringerc09/2012 a234-2370 v74973 aWe 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.
1 aKrisnadhi, Adila1 aHitzler, Pascal1 aKrötzsch, Markus1 aStraccia, Umberto uhttps://daselab.cs.ksu.edu/publications/tableau-algorithm-description-logics-nominal-schemas01446nas a2200313 4500008004100000020002200041245008300063210006900146260001700215300001200232520051700244653001200761653002200773653003100795653001000826653001700836653002600853100002200879700002100901700002100922700002000943700002600963700002400989700001601013700002101029700001901050700001601069856004701085 2011 eng d a978-1-4503-0632-400aA Better Uncle for {OWL}: Nominal Schemas for Integrating Rules and Ontologies0 aBetter Uncle for OWL Nominal Schemas for Integrating Rules and O bACMc03/2011 a645-6543 aWe 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.10adatalog10aDescription Logic10aSemantic Web Rule Language10aSROIQ10atractability10aWeb Ontology Language1 aKrötzsch, Markus1 aMaier, Frederick1 aKrisnadhi, Adila1 aHitzler, Pascal1 aSrinivasan, Sadagopan1 aRamamritham, Krithi1 aKumar, Arun1 aRavindra, M., P.1 aBertino, Elisa1 aKumar, Ravi uhttp://doi.acm.org/10.1145/1963405.196349601042nas a2200193 4500008004100000020002200041245008200063210006900145260002200214300001200236490000900248520043600257100002100693700002000714700002000734700002300754700002300777856004800800 2011 eng d a978-3-642-23579-500aLocal Closed World Semantics: Grounded Circumscription for Description Logics0 aLocal Closed World Semantics Grounded Circumscription for Descri bSpringerc08/2011 a263-2680 v69023 aWe 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.1 aKrisnadhi, Adila1 aSengupta, Kunal1 aHitzler, Pascal1 aRudolph, Sebastian1 aGutierrez, Claudio uhttp://dx.doi.org/10.1007/978-3-642-23580-101464nas a2200253 4500008004100000245006900041210006600110260002200176300001200198490000900210520067800219100002000897700002100917700002000938700001600958700001700974700001800991700001801009700002301027700001801050700002101068700001901089856010201108 2011 eng d00aLocal Closed World Semantics: Grounded Circumscription for {OWL}0 aLocal Closed World Semantics Grounded Circumscription for OWL bSpringerc10/2011 a617-6320 v70313 aWe 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.1 aSengupta, Kunal1 aKrisnadhi, Adila1 aHitzler, Pascal1 aAroyo, Lora1 aWelty, Chris1 aAlani, Harith1 aTaylor, Jamie1 aBernstein, Abraham1 aKagal, Lalana1 aNoy, Natasha, F.1 aBlomqvist, Eva uhttps://daselab.cs.ksu.edu/publications/local-closed-world-semantics-grounded-circumscription-owl01673nas a2200229 4500008004100000245005800041210005500099260002500154490000800179520100400187653002001191653001701211653001701228653002201245100002101267700002001288700002001308700002101328700002301349700002701372856004401399 2011 eng d00aLocal Closed World Semantics: Keep it simple, stupid!0 aLocal Closed World Semantics Keep it simple stupid bCEUR-WS.orgc07/20110 v7453 aA 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.10acircumscription10aclosed world10adecidability10aDescription Logic1 aKrisnadhi, Adila1 aSengupta, Kunal1 aHitzler, Pascal1 aRosati, Riccardo1 aRudolph, Sebastian1 aZakharyaschev, Michael uhttp://ceur-ws.org/Vol-745/paper_12.pdf01014nas a2200193 4500008004100000245006500041210006500106260002500171490000800196520041700204100002200621700002100643700002100664700002000685700002100705700002300726700002700749856004400776 2011 eng d00aNominal Schemas for Integrating Rules and Description Logics0 aNominal Schemas for Integrating Rules and Description Logics bCEUR-WS.orgc07/20110 v7453 aWe 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.1 aKrötzsch, Markus1 aMaier, Frederick1 aKrisnadhi, Adila1 aHitzler, Pascal1 aRosati, Riccardo1 aRudolph, Sebastian1 aZakharyaschev, Michael uhttp://ceur-ws.org/Vol-745/paper_39.pdf01164nas a2200253 4500008004100000020002200041245002000063210001800083260002200101300001200123490000900135520050100144100002100645700002100666700002000687700001900707700002100726700002000747700002500767700001800792700002100810700003100831856004800862 2011 eng d a978-3-642-23031-800a{OWL} and Rules0 aOWL and Rules bSpringerc08/2011 a382-4150 v68483 aThe 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. 1 aKrisnadhi, Adila1 aMaier, Frederick1 aHitzler, Pascal1 aPolleres, Axel1 ad'Amato, Claudia1 aArenas, Marcelo1 aHandschuh, Siegfried1 aKroner, Paula1 aOssowski, Sascha1 aPatel-Schneider, Peter, F. uhttp://dx.doi.org/10.1007/978-3-642-23032-501068nas a2200169 4500008004100000245006100041210005900102260002200161300001200183490000900195520056000204100002100764700001800785700002300803700002100826856005100847 2007 eng d00aData Complexity in the {EL} Family of Description Logics0 aData Complexity in the EL Family of Description Logics bSpringerc10/2007 a333-3470 v47903 aWe 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 complexity1 aKrisnadhi, Adila1 aLutz, Carsten1 aDershowitz, Nachum1 aVoronkov, Andrei uhttp://dx.doi.org/10.1007/978-3-540-75560-9_2500598nas a2200205 4500008004100000245004600041210004400087260002500131490000800156100002100164700001800185700002100203700002100224700002100245700002000266700001700286700002400303700002100327856004400348 2007 eng d00aData Complexity in the {EL} family of DLs0 aData Complexity in the EL family of DLs bCEUR-WS.orgc06/20070 v2501 aKrisnadhi, Adila1 aLutz, Carsten1 aCalvanese, Diego1 aFranconi, Enrico1 aHaarslev, Volker1 aLembo, Domenico1 aMotik, Boris1 aTurhan, Anni-Yasmin1 aTessaris, Sergio uhttp://ceur-ws.org/Vol-250/paper_15.pdf03547nas a2200133 4500008004100000245008200041210006900123260005400192300000900246490002200255520305700277100002103334856005803355 2007 eng d00aData Complexity of Instance Checking in the {EL} Family of Description Logics0 aData Complexity of Instance Checking in the EL Family of Descrip aDresdenbTechnische Universität Dresdenc03/2007 av+680 vMaster of Science3 aSubsumption 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.1 aKrisnadhi, Adila uhttp://lat.inf.tu-dresden.de/research/mas/#Kri-Mas-07