Abstract
In this paper, we describe our effort to build an inference engine for OWL reasoning based on the rule engine paradigm. Rule engines are very practical and effective for their representational simplicity and optimized performance, but their limited expressiveness and web unfriendliness restrict their usability for OWL reasoning. We enumerate and succinctly describe extended features implemented in our rule engine, Bossam, and show that these features are necessary to promote the effectiveness of any ordinary rule engine’s OWL reasoning capability. URI referencing and URI-based procedural attachment enhance web-friendliness. OWL importing, support for classical negation and relieved range restrictedness help correctly capture the semantics of OWL. Remote binding enables collaborated reasoning among multiple Bossam engines, which enhances the engine’s usability on the distributed semantic web environment. By applying our engine to the W3C’s OWL test cases, we got a plausible 70% average success rate for the three OWL species. Our contribution with this paper is to suggest a set of extended features that can enhance the reasoning capabilities of ordinary rule engines on the semantic web.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American (2001)
Horrocks, I.: The FaCT System. In: de Swart, H. (ed.) TABLEAUX 1998. LNCS (LNAI), vol. 1397, pp. 307–312. Springer, Heidelberg (1998)
Maryland Information and Network Dynamics Lab.: Pellet OWL Reasoner (2003), http://www.mindswap.org/2003/pellet/index.shtml
Bechhofer, S.: Hoolet OWL Reasoner (2003), http://owl.man.ac.uk/hoolet/
Hawke, S.: Surnia (2003), http://www.w3.org/2003/08/surnia/
Hewlett-Packard: Jena Semantic Web Framework (2003), http://jena.sourceforge.net/
UMBC: F-OWL: An OWL Inference Engine in Flora-2, http://fowl.sourceforge.net/
Gandon, F.L., Sadeh, N.: OWL inference engine using XSLT and JESS, http://mycampus.sadehlab.cs.cmu.edu/public_pages/OWLEngine.html
Grosof, B., Gandhe, M., Finin, T.: SweetJess: Inferencing in Situated Courteous RuleML via Translation to and from Jess Rules (2003), http://ebusiness.mit.edu/bgrosof/paps/sweetjess-wp-050203.pdf
Kopena, J., Regli, W.: DAMLJessKB: A Tool for Reasoning with the Semantic Web. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 628–643. Springer, Heidelberg (2003)
Fikes, R., Frank, G., Jenkins, J.: JTP: A Query Answering System For Knowledge Represented in DAML (2002)
Grosof, B., Horrocks, I., Volz, R., Decker, S.: Description logic programs: Combining logic programs with description logic. In: Proceedings of WWW 2003, p. 48 (2003)
Wagner, G.: Web Rules Need Two Kinds of Negation. In: Bry, F., Henze, N., Małuszyński, J. (eds.) PPSWR 2003. LNCS, vol. 2901, pp. 33–50. Springer, Heidelberg (2003)
Alferes, J., Damicio, C., Pereira, L.: Semantic Web Logic Programming Tools. In: Bry, F., Henze, N., Małuszyński, J. (eds.) PPSWR 2003. LNCS, vol. 2901, pp. 16–32. Springer, Heidelberg (2003)
Horrocks, I., Volz, R.: Rule Language. A Deliverable from IST Project 2001-33052 Wonder Web (2003)
Berners-Lee, T.: Primer: Getting into RDF and Semantic Web using N3 (2004), http://www.w3.org/2000/10/swap/Primer.html
Carroll, J.J., De Roo, J.: OWL Web Ontology Language Test Cases. W3C Recommendation (February 10, 2004), http://www.w3.org/TR/owl-test/
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jang, M., Sohn, JC. (2004). Bossam: An Extended Rule Engine for OWL Inferencing. In: Antoniou, G., Boley, H. (eds) Rules and Rule Markup Languages for the Semantic Web. RuleML 2004. Lecture Notes in Computer Science, vol 3323. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30504-0_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-30504-0_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23842-3
Online ISBN: 978-3-540-30504-0
eBook Packages: Springer Book Archive