Optimizing Description Logic Reasoning for the Service Matchmaking and Composition


  • Marian Babík
  • Ladislav Hluchý


Semantic web, composition, matchmaking, description logic, reasoning


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.


Download data is not yet available.




How to Cite

Babík, M., & Hluchý, L. (2012). Optimizing Description Logic Reasoning for the Service Matchmaking and Composition. COMPUTING AND INFORMATICS, 27(4), 661–679. Retrieved from https://www.cai.sk/ojs/index.php/cai/article/view/241

Most read articles by the same author(s)

1 2 3 > >>