01534nas a2200241 4500008004100000245007700041210006900118260004100187520073700228653002000965653001500985653001901000653001301019653002001032653001801052100001901070700002001089700001901109700001601128700002101144700002001165856010701185 2019 eng d00aA Method for Automatically Generating Schema Diagrams for OWL Ontologies0 aMethod for Automatically Generating Schema Diagrams for OWL Onto aVilla Clara, CubabSpringerc06/20193 a
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-ontologies01097nas 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.pdf01810nas 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_601833nas 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_20