Optimizing Description Logic Reasoning for the Service Matchmaking and Composition

The Semantic Web is a recent initiative to expose semantically rich information associated with Web resources to build more intelligent Web-based systems. Recently, several projects have embraced this vision and there are several successful applications that combine the strengths of the Web and of semantic technologies. However, Semantic Web still lacks a technology, which would provide the needed scalability and integration with existing infrastructure. In this paper we present our ongoing work on a Semantic Web repository, which is capable of addressing complex schemas and answer queries over ontologies with large number of instances. We present the details of our approach and describe the underlying architecture of the system. We conclude with a performance evaluation, which compares the current state-of-the-art reasoners with our system.

[1]  Krzysztof Goczyla,et al.  The Knowledge Cartography - A New Approach to Reasoning over Description Logics Ontologies , 2006, SOFSEM.

[2]  Francesco M. Donini,et al.  AL-log: Integrating Datalog and Description Logics , 1998, Journal of Intelligent Information Systems.

[3]  Jacek Kitowski,et al.  Grid organizational memory - provision of a high-level Grid abstraction layer supported by ontology alignment , 2007, Future Gener. Comput. Syst..

[4]  Peter F. Patel-Schneider,et al.  DLP System Description , 1998, Description Logics.

[5]  Timo Weithöner,et al.  What ’ s Wrong with OWL Benchmarks ? , 2006 .

[6]  Ian Horrocks,et al.  Description logic programs: combining logic programs with description logic , 2003, WWW '03.

[7]  Kim K. Baldridge,et al.  Scientific Workflow Infrastructure for Computational Chemistry on the Grid , 2006, International Conference on Computational Science.

[8]  Li Ma,et al.  Minerva: A Scalable OWL Ontology Storage and Inference System , 2006, ASWC.

[9]  Carole A. Goble,et al.  Automating experiments using semantic data in a bioinformatics grid , 2004, IEEE Intelligent Systems.

[10]  Ladislav Hluchý,et al.  Semantic Services Grid in Flood-forecasting Simulations , 2007, Comput. Informatics.

[11]  Alexander Borgida,et al.  On the relationship between description logic and predicate logic queries , 1994, CIKM '94.

[12]  Ian Horrocks.  The FaCT System , 1998, TABLEAUX.

[13]  J. Carroll,et al.  Jena: implementing the semantic web recommendations , 2004, WWW Alt. '04.

[14]  Volker Haarslev,et al.  Optimization Strategies for Instance Retrieval , 2002, Description Logics.

[15]  Amit P. Sheth,et al.  Semantic Web Services and Web Process Composition, First International Workshop, SWSWPC 2004, San Diego, CA, USA, July 6, 2004, Revised Selected Papers , 2005, SWSWPC.

[16]  Hans Tompits,et al.  Combining answer set programming with description logics for the Semantic Web , 2004, Artif. Intell..

[17]  Peter F. Patel-Schneider,et al.  Reducing OWL entailment to description logic satisfiability , 2004, Journal of Web Semantics.

[18]  Enrico Motta,et al.  IRS-II: A Framework and Infrastructure for Semantic Web Services , 2003, SEMWEB.

[19]  Ian Horrocks,et al.  A Tableaux Decision Procedure for SHOIQ , 2005, IJCAI.

[20]  Deborah L. McGuinness,et al.  CLASSIC: a structural data model for objects , 1989, SIGMOD '89.

[21]  Thomas Lukasiewicz.  Probabilistic description logic programs , 2007, Int. J. Approx. Reason..

[22]  Ian Horrocks,et al.  Optimised Reasoning for SHIQ , 2002, ECAI.

[23]  Riccardo Rosati,et al.  DL+log: Tight Integration of Description Logics and Disjunctive Datalog , 2006, KR.

[24]  Yarden Katz,et al.  Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..

[25]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[26]  Atanas Kiryakov,et al.  OWLIM - A Pragmatic Semantic Repository for OWL , 2005, WISE Workshops.

[27]  Boris Motik,et al.  Reasoning for Description Logics aroundSHIQ in a Resolution Framework , 2004 .

[28]  Ladislav Hluchý,et al.  AgentOWL: Semantic Knowledge Model and Agent Architecture , 2012, Comput. Artif. Intell..

[29]  Raphael Volz,et al.  Cooking the Semantic Web with the OWL API , 2003, SEMWEB.

[30]  Volker Haarslev,et al.  Description of the RACER System and its Applications , 2001, Description Logics.