TY - CONF T1 - A Linked-Data-Driven and Semantically-Enabled Journal Portal for Scientometrics T2 - The Semantic Web - ISWC 2013 - 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part II Y1 - 2013 A1 - Yingjie Hu A1 - Krzysztof Janowicz A1 - Grant McKenzie A1 - Kunal Sengupta A1 - Pascal Hitzler ED - Harith Alani ED - Lalana Kagal ED - Achille Fokoue ED - Paul T. Groth ED - Chris Biemann ED - Josiane Xavier Parreira ED - Lora Aroyo ED - Natasha F. Noy ED - Chris Welty ED - Krzysztof Janowicz JF - The Semantic Web - ISWC 2013 - 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part II PB - Springer VL - 8219 ER - TY - CONF T1 - Local Closed World Semantics: Grounded Circumscription for OWL T2 - The Semantic Web - ISWC 2011 - 10th International Semantic Web Conference, Bonn, Germany, October 23-27, 2011, Proceedings, Part I Y1 - 2011 A1 - Kunal Sengupta A1 - Adila Krisnadhi A1 - Pascal Hitzler ED - Lora Aroyo ED - Chris Welty ED - Harith Alani ED - Jamie Taylor ED - Abraham Bernstein ED - Lalana Kagal ED - Natasha F. Noy ED - Eva Blomqvist AB - 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. JF - The Semantic Web - ISWC 2011 - 10th International Semantic Web Conference, Bonn, Germany, October 23-27, 2011, Proceedings, Part I PB - Springer VL - 7031 ER - TY - CONF T1 - RaDON - Repair and Diagnosis in Ontology Networks T2 - The Semantic Web: Research and Applications, 6th European Semantic Web Conference, ESWC 2009 Y1 - 2009 A1 - Qiu Ji A1 - Peter Haase A1 - Guilin Qi A1 - Pascal Hitzler A1 - Steffen Stadtmüller ED - Lora Aroyo ED - Paolo Traverso ED - Fabio Ciravegna ED - Philipp Cimiano ED - Tom Heath ED - Eero Hyvönen ED - Riichiro Mizoguchi ED - Eyal Oren ED - Marta Sabou ED - Elena Paslaru Bontas Simperl AB -

One of the major challenges in managing networked and dynamic ontologies is to handle inconsistencies in single ontologies, and inconsistencies introduced by integrating multiple distributed ontologies. Our RaDON system provides functionalities to repair and diagnose ontology networks by extending the capabilities of existing reasoners. The system integrates several new debugging and repairing algorithms, such as a relevance-directed algorithm to meet the various needs of the users.

JF - The Semantic Web: Research and Applications, 6th European Semantic Web Conference, ESWC 2009 PB - Springer CY - Heraklion, Crete, Greece VL - 5554 UR - http://dx.doi.org/10.1007/978-3-642-02121-3_71 ER -