Abstract
The integration of distinct reasoning styles such as the ones exploited by description logics and rule-based systems is still an open challenge because of the differences among them. Such integration may be achieved by following two complementary approaches: loose integration vs. tight integration. Loosely integrated hybrid systems couple existing tools, so they have to handle mutual interactions and keep their models aligned. Tightly-coupled hybrid systems, instead, are based on a unified model supporting both reasoning styles.
In this paper we present a basic implementation of a fuzzy tableau algorithm for description logics by means of rules. It is a step towards tight integration because it requires only one rule engine while preserving the semantics of both reasoning styles. In particular, the adoption of a fuzzy tableau in a fuzzy rule engine allowed us to extend the expressiveness of the latter while handling description logics reasoning coherently.
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
Analyti, A., Antoniou, G., Damásio, C.: A principled framework for modular web rule bases and its semantics. In: Proc. KR 2008, pp. 390–400 (2008)
Antoniou, G.: Nonmonotonic rule systems on top of ontology layers. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol. 2342, pp. 394–398. Springer, Heidelberg (2002)
Antoniou, G., Damasio, C., Grosof, B., Horrocks, I., Kifer, M., Maluszynski, J., Patel-Schneider, P.: Combining Rules and Ontologies. A Survey. Tech. Rep., Rewerse Project (2005)
Baader, F., Sattler, U.: Tableau algorithms for description logics. Studia Logica 69, 5–40 (2001)
Baldwin, J., Martin, T., Pilsworth, B.: Fril-fuzzy and evidential reasoning in artificial intelligence. John Wiley & Sons, Inc., New York (1995)
Bobillo, F., Bou, F., Straccia, U.: On the failure of the finite model property in some fuzzy description logics. CoRR abs/1003.1588 (2010)
Bobillo, F., Straccia, U.: Fuzzy description logics with general t-norms and datatypes. Fuzzy Sets Syst. 160(23), 3382–3402 (2009)
Bragaglia, S., Chesani, F., Ciampolini, A., Mello, P., Montali, M., Sottara, D.: An Hybrid Architecture Integrating Forward Rules with Fuzzy Ontological Reasoning. Architecture (2010)
Damásio, C., Analyti, A., Antoniou, G., Wagner, G.: Supporting open and closed world reasoning on the web. Principles and Practice of Semantic Web Reasoning pp. 149–163 (2006)
De Bruijn, J., Bonnard, P., Citeau, H., Dehors, S., Heymans, S., Korf, R., Pührer, J., Eiter, T.: State-of-the-art survey of issues. Tech. rep., ONTORULE (2009), http://ontorule-project.eu/project/workpackages/wp-3-execution-and-inference/d31
Dubois, D., Lang, J., Prade, H.: Possibilistic logic (1992)
Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. Artificial Intelligence 172(12-13), 1495–1539 (2008)
Eiter, T., Ianni, G., Polleres, A., Schindlauer, R., Tompits, H.: Reasoning with rules and ontologies. In: Barahona, P., Bry, F., Franconi, E., Henze, N., Sattler, U. (eds.) Reasoning Web 2006. LNCS, vol. 4126, pp. 93–127. Springer, Heidelberg (2006)
Grosof, B., Horrocks, I., Volz, R., Decker, S.: Description logic programs: Combining logic programs with description logic. In: Proceedings of the 12th International Conference on World Wide Web, p. 57. ACM, New York (2003)
Hájek, P.: Metamathematics of Fuzzy Logic (Trends in Logic). Springer, Heidelberg (2001)
Horridge, M., Drummond, N., Goodwin, J., Rector, A., Stevens, R., Wang, H.: The manchester owl syntax. In: OWLED 2006 Second Workshop on OWL Experiences and Directions, Athens, GA, USA (2006)
Horrocks, I., Patel-Schneider, P.: A proposal for an OWL rules language. In: Proc. 13th International Conference on World Wide Web, p. 731. ACM, New York (2004)
Hustadt, U., Motik, B., Sattler, U.: Reducing SHIQ- description logic to disjunctive datalog programs. In: Proc. KR, vol. 4, pp. 152–162 (2004)
Levy, A., Rousset, M.: Combining Horn rules and description logics in CARIN. Artificial Intelligence 104(1-2), 165–209 (1998)
Lukácsy, G., Szeredi, P., Kádár, B.: Prolog based description logic reasoning. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 455–469. Springer, Heidelberg (2008)
Meditskos, G., Bassiliades, N.: A rule-based object-oriented owl reasoner. IEEE Trans. on Knowl. and Data Eng. 20(3), 397–410 (2008)
Mello, P., Proctor, M., Sottara, D.: A configurable RETE-OO engine for reasoning with different types of imperfect information. IEEE Transactions on Knowledge and Data Engineering (TKDE) - Special Issue on Rule Representation, Interchange and Reasoning in Distributed, Heterogeneous Environments (2010) (article in Press)
Motik, B.: Reasoning in description logics using resolution and deductive databases. PhD theis, University Karlsruhe, Germany (2006)
Motik, B., Horrocks, I., Rosati, R., Sattler, U.: Can OWL and Logic Programming live together happily ever after? In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 501–514. Springer, Heidelberg (2006)
Motik, B., Vrandečić, D., Hitzler, P., Studer, R.: dlpconvert–converting OWL DLP statements to logic programs. In: European Semantic Web Conference 2005 Demos and Posters, Citeseer (2005)
Polleres, A., Feier, C., Harth, A.: Rules with contextually scoped negation. In: Sure, Y., Domingue, J. (eds.) ESWC 2006. LNCS, vol. 4011, pp. 332–347. Springer, Heidelberg (2006)
Reiter, R.: On closed world data bases. Morgan Kaufmann Publishers Inc., San Francisco (1987)
Rosati, R.: On the decidability and complexity of integrating ontologies and rules. Web Semantics: Science, Services and Agents on the World Wide Web 3(1), 61–73 (2005)
Rosati, R.: Integrating ontologies and rules: Semantic and computational issues. In: Barahona, P., Bry, F., Franconi, E., Henze, N., Sattler, U. (eds.) Reasoning Web 2006. LNCS, vol. 4126, pp. 128–151. Springer, Heidelberg (2006)
Smets, P.: Imperfect Information: Imprecision and Uncertainty (1996)
Straccia, U.: Managing uncertainty and vagueness in description logics, Logic Programs and Description logic Programs, 54–103 (2008)
Zhao, J., Boley, H., Du, W.: Knowledge Representation and Consistency Checking in a Norm-Parameterized Fuzzy Description Logic. In: Huang, D.-S., Jo, K.-H., Lee, H.-H., Kang, H.-J., Bevilacqua, V. (eds.) ICIC 2009. LNCS, vol. 5755, pp. 111–123. Springer, Heidelberg (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bragaglia, S., Chesani, F., Mello, P., Sottara, D. (2010). A Rule-Based Implementation of Fuzzy Tableau Reasoning. In: Dean, M., Hall, J., Rotolo, A., Tabet, S. (eds) Semantic Web Rules. RuleML 2010. Lecture Notes in Computer Science, vol 6403. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16289-3_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-16289-3_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16288-6
Online ISBN: 978-3-642-16289-3
eBook Packages: Computer ScienceComputer Science (R0)