@conference {747,
	title = {A Method for Automatically Generating Schema Diagrams for OWL Ontologies},
	booktitle = {1st Iberoamerican Knowledge Graph and Semantic Web Conference (KGSWC)},
	year = {2019},
	month = {06/2019},
	publisher = {Springer},
	organization = {Springer},
	chapter = {149-161},
	address = {Villa Clara, Cuba},
	abstract = {<p>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.</p>
},
	keywords = {design patterns, evaluation, implementation, ontology, schema diagrams, visualization},
	author = {Cogan Shimizu and Aaron Eberhart and Nazifa Karima and Quinn Hirt and Adila Krisnadhi and Pascal Hitzler}
}
@conference {133,
	title = {All But Not Nothing: Left-Hand Side Universals for Tractable {OWL} Profiles},
	booktitle = {Proceedings of the 11th International Workshop on OWL: Experiences and Directions (OWLED 2014) co-located with 13th International Semantic Web Conference on (ISWC 2014), Riva del Garda, Italy, October 17-18, 2014.},
	volume = {1265},
	year = {2014},
	month = {10/2014},
	pages = {97-108},
	publisher = {CEUR-WS.org},
	organization = {CEUR-WS.org},
	abstract = {We show that occurrences of the universal quantifier in the left-hand side of general concept inclusions can be rewritten into EL++ axioms under certain circumstances. I.e., this intuitive modeling feature is available for OWL EL while retaining tractability. Furthermore, this rewriting makes it possible to reason over corresponding extensions of EL++ and Horn-SROIQ using standard reasoners.},
	keywords = {description logics, Horn Logics, OWL},
	url = {http://ceur-ws.org/Vol-1265/owled2014_submission_13.pdf},
	author = {David Carral and Adila Krisnadhi and Sebastian Rudolph and Pascal Hitzler},
	editor = {C. Maria Keet and Valentina A. M. Tamma}
}
@conference {129,
	title = {An Ontology Design Pattern for Cartographic Map Scaling},
	booktitle = {The Semantic Web: Semantics and Big Data, 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings},
	volume = {7882},
	year = {2013},
	pages = {76{\textendash}93},
	publisher = {Springer},
	organization = {Springer},
	abstract = {<p>The concepts of scale is at the core of cartographic abstraction and mapping. It defines which geographic phenomena should be displayed, which type of geometry and map symbol to use, which measures can be taken, as well as the degree to which features need to be exaggerated or spatially displaced. In this work, we present an ontology design pattern for map scaling using the Web Ontology Language (OWL) within a particular extension of the OWL RL profile. We explain how it can be used to describe scaling applications, to reason over scale levels, and geometric representations. We propose an axiomatization that allows us to impose meaningful constraints on the pattern, and, thus, to go beyond simple surface semantics. Interestingly, this includes several functional constraints currently not expressible in any of the OWL profiles. We show that for this specific scenario, the addition of such constraints does not increase the reasoning complexity which remains tractable.</p>
},
	keywords = {Map Scaling, Ontology Design Patterns, OWL},
	doi = {10.1007/978-3-642-38288-8_6},
	url = {http://dx.doi.org/10.1007/978-3-642-38288-8_6},
	author = {David Carral and Simon Scheider and Krzysztof Janowicz and Charles Vardeman and Adila Krisnadhi and Pascal Hitzler},
	editor = {Philipp Cimiano and {\'O}scar Corcho and Valentina Presutti and Laura Hollink and Sebastian Rudolph}
}
@conference {124,
	title = {Recent Advances in Integrating {OWL} and Rules},
	booktitle = {Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings},
	volume = {7497},
	year = {2012},
	month = {09/2012},
	pages = {225-228},
	publisher = {Springer},
	organization = {Springer},
	address = {Austria, Vienna},
	abstract = {As part of the quest for a unifying logic for the Semantic Web Technology Stack, a central issue is finding suitable ways of integrating description logics based on the Web Ontology Language (OWL) with rule-based approaches based on logic programming. Such integration is difficult since naive approaches typically result in the violation of one or more desirable design principles. For example, while both OWL 2 DL and RIF Core (a dialect of the Rule Interchange Format RIF) are decidable, their naive union is not, unless carefully chosen syntactic restrictions are applied.

We report on recent advances and ongoing work by the authors in integrating OWL and rulesWe take an OWL-centric perspective, which means that we take OWL 2 DL as a starting point and pursue the question of how features of rulebased formalisms can be added without jeopardizing decidability. We also report on incorporating the closed world assumption and on reasoning algorithms. This paper essentially serves as an entry point to the original papers, to which we will refer throughout, where detailed expositions of the results can be found.},
	keywords = {description logics, OWL, Rules},
	doi = {10.1007/978-3-642-33203-6_20},
	url = {http://dx.doi.org/10.1007/978-3-642-33203-6_20},
	author = {Matthias Knorr and David Carral and Pascal Hitzler and Adila Krisnadhi and Frederick Maier and Cong Wang},
	editor = {Markus Kr{\"o}tzsch and Umberto Straccia}
}
