Adila Krisnadhi

Learn More
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(More)
We propose a description-logic style extension of OWL 2 with <i>nominal schemas</i> which can be used like "variable nominal classes" within axioms. This feature allows ontology languages to express arbitrary <i>DL-safe rules</i> (as expressible in SWRL or RIF) in their native syntax. We show that adding nominal schemas to OWL 2 does not increase the(More)
In recent years, lightweight description logics (DLs) have experienced increased interest because they admit highly efficient reasoning on large-scale ontologies. Most prominently, this is witnessed by the ongoing research on the DL-Lite and EL families of DLs, but see also [11, 14] for other examples. The main application of EL and its relatives is as an(More)
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(More)
In Chapter 1 [17], we have given a worked example on how to develop a modular ontology using ontology design patterns. In the following, we will work through an example process how to use such an ontology for publishing Linked Data. Supplementary material, such as additional examples, OWL, and RDF files, are available at(More)
The Worskhop on Ontology and Semantic Web Patterns (WOP2015, 6th edition) was held on October 11, 2015 in conjunction with the 14th International Semantic Web Conference in Bethlehem, PA, USA. At the workshop, the organizers conducted a discussion with the participants regarding the promises and obstacles of ontology design patterns (ODPs for short). This(More)
GeoLink is one of the building block projects within EarthCube, a major effort of the National Science Foundation to establish a next-generation knowledge infrastructure for geosciences. As part of this effort, GeoLink aims to improve data retrieval, reuse, and integration of seven geoscience data repositories through the use of ontologies. In this paper,(More)