Abstract
As expressive schema languages, Web Ontology Language (OWL) and Semantic Web Rule Language (SWRL) have been widely introduced to many industrial applications. Most existing OWL reasoners hold Open World Assumption (OWA) and do not hold Unique Name Assumption (UNA). They lack efficiency when they are applied to industrial models which capture information under Closed World Assumption (CWA) and UNA. To overcome the problem, this paper proposes a novel backward chained ABox reasoner which efficiently reasons through OWL and SWRL under CWA and UNA.
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
Abdul-Ghafour, S., Ghodous, P., Shariat, B., Perna, E.: Towards an intelligent cad models sharing based on semantic web technologies. In: Curran, R., Chou, S.-Y., Trappey, A. (eds.) Collaborative Product and Service Life Cycle Management for a Sustainable World. Advanced Concurrent Engineering, pp. 195–203. Springer, Heidelberg (2008)
Andersen, O.A., Vasilakis, G.: Building an ontology of cad model information. In: Hasle, G., Lie, K.-A., Quak, E. (eds.) Geometric Modelling, Numerical Simulation, and Optimization, pp. 11–40. Springer, Heidelberg (2007)
Guo, Y., Pan, Z., Heflin, J.: Lubm: A benchmark for owl knolwedge base systems. Journal of Web Semantics 3, 158–182 (2005)
Haarslev, V., Moller, R.: Racer: An owl reasoning agent for the semantic web. In: Proceedings of the International Workshop on Applications, Products and Services of Web-based Support Systems, pp. 91–95 (2003)
Kim, K.Y., Manley, D.G., Yang, H.: Ontology-based assembly design and information sharing for collaborative product development. Computer-Aided Design 38, 1233–1250 (2006)
Mei, J., Paslaru, E.B.: Reasoning paradigms for swrl-enabled ontologies (2005), http://www.inf.fu-berlin.de/inst/pubs/tr-b-04
Motik, B.: Reasoning in Description Logics using Resolution and Deductive Databases. Ph.D. thesis, University of KarLsruhe, Karlsruhe, Germany (January 2006)
O’Connor, M.F., Knublauch, H., Tu, S., Grosof, B.N., Dean, M., Grosso, W., Musen, M.A.: Supporting Rule System Interoperability on the Semantic Web with SWRL. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol. 3729, pp. 974–986. Springer, Heidelberg (2005)
Owen, J.: STEP: An Introduction. Information Geometers (1997)
Sirin, E., Parsia, B.: Optimizations for answering conjunctive abox queries: First results. In: Proc. of the Int. Description Logics Workshop, DL (2006)
Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A practical owl-dl reasoner. Web Semantics: Science, Services and Agents on the World Wide Web 55, 51–53 (2007)
Yang, D., Dong, M., Miao, R.: Development of a product configuration system with an ontology-based approach. Computer-Aided Design 40, 863–878 (2008)
Zhao, W., Liu, J.K.: Owl/swrl representation methodology for express-driven product information model: Part 1. implementation methodology. Computers in Industry 59, 580–589 (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wang, Q., Yu, X. (2011). Reasoning over OWL/SWRL Ontologies under CWA and UNA for Industrial Applications. In: Wang, D., Reynolds, M. (eds) AI 2011: Advances in Artificial Intelligence. AI 2011. Lecture Notes in Computer Science(), vol 7106. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-25832-9_80
Download citation
DOI: https://doi.org/10.1007/978-3-642-25832-9_80
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-25831-2
Online ISBN: 978-3-642-25832-9
eBook Packages: Computer ScienceComputer Science (R0)