Abstract
The Expressive Language ALCNHR+(D) provides conjunction, full negation, quantifiers, number restrictions, role hierarchies, transitively closed roles and concrete domains. In addition to the operators known from ALCNHR+, a restricted existential predicate restriction operator for concrete domains is supported. In order to capture the semantic of complicated knowledge reasoning model, the expressive language ALCNHR+K(D) is introduced. It cannot only be able to represent knowledge about concrete domain and constraints, but also rules in some sense of closed world semantic model hypothesis. The paper investigates an extension to description logic based knowledge reasoning by means o f decomposing and rewriting complicated hybrid concepts into partitions. We present an approach that automatically decomposes the whole knowledge base into description logic compatible and constraints solver. Our arguments are two-fold. First, complex description logics with powerful representation ability lack effectively reasoning ability and second, how to reason with the combination of inferences from distributed heterogeneous reasoner.
The research is funded by Natural Science foundation of China (No. 60174053, No. 60473052).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Calvanese, D., De Giacomo, G., Lenzerini, M., Nardi, D., Rosati, R.: Description logic framework for information integration. In: Proceedings of the 6th International Conference on rinciples of Knowledge Representation and Reasoning (KR 1998), pp. 2–13 (1998)
The Semantic Web lifts off ’by Tim Berners-Lee and Eric Miller, W3C. ERCIM News No. 51 (October 2002)
Metzger, F.: The challenge of capturing the semantics of STEP data models pre-cisely. In: Workshop on Product Knowledge Sharing for Integrated Enterprises (ProKSI 1996) (1996)
Baader, F., Sattler, U.: Description Logics with Concrete Domains and Aggregation. In: Prade, H. (ed.) Proceedings of the 13th European Conference on Artificial Intelligence (ECAI 1998), pp. 336–340. John Wiley & Sons Ltd, Chichester (1998)
Baader, F., Küsters, R.: Unification in a Description Logic with Transitive Closure of Roles. In: Nieuwenhuis, R., Voronkov, A. (eds.) LPAR 2001. LNCS (LNAI), vol. 2250, pp. 217–232. Springer, Heidelberg (2001)
Haarslev, V., Lutz, C., Möller, R.: A Description Logic with Concrete Domains and Role-forming Predicates. Journal of Logic and Computation 9(3), 351–384 (1999)
Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook. Cambridge University Press, Cambridge (2002)
Horrocks, I., Sattler, U.: Optimised Reasoning for SHIQ. In: ECAI 2002, pp. 277–281 (2002)
Horrocks, I., Sattler, U., Tobies, S.: Practical Reasoning for Very Expressive Descrip-tion Logics. Logic Journal of the IGPL 8(3), 239–264 (2000)
Compatangelo, E., Meisel, H.: K-Share: an architecture for sharing heterogeneous conceptualizations. In: Intl. Workshop on Intelligent Knowledge Management Techniques (I-KOMAT 2002) - Proc. of the 6th Intl. Conf. on Knowledge-Based Intelligent Informa-tion & Engineering Systems (KES 2002), pp. 1439–1443 (2002)
Haarslev, V., Möller, R., Wessel, M.: The Description Logic ALCNHR+ Ex-tended with Concrete Domains: A Practically Motivated Approach. In: Goré, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol. 2083, pp. 29–44. Springer, Heidelberg (2001)
Domazet, D.: The automatic tool selection with the production rules matrix method. Annals of the CIRP 39(1), 497–500 (1990)
Haarslev, V., Möller, R.: RACER System Description. In: Goré, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol. 2083, Springer, Heidelberg (2001)
Dretske, F.: Epistemic Operators. The Journal of Philosophy LXVII (24), 1007–1023
Donini, F.M., Lenzerini, M., Nardi, D., Nutt, W., Schaerf, A.: Adding epistemic operators to concept languages. In: Proceedings of the 3rd International Conference on the Principles of Knowledge Representation and Reasoning (KR 1992), pp. 342–353. Morgan Kaufmann, Los Altos (1992)
Pratt, M.: Introduction to ISO 10303 - The STEP Standard for Product Data Exchange, ASME Journal of Computing and Information Science in Engineering, November (2000)
Fu, X., Li, S.: Ontology Knowledge Representation for Product Data Model, Journal of Computer-Aided Design & Computer Graphics (to appear) (in Chinese)
Fu, X., Li, S., Guo, M., Channa, N.: Methodology for Semantic Representing of Product Data in XML. In: Proceedings of Advance Workshop on Content Computing, LNCS (2004)
Channa, N., Li, S., Fu, X.: Product Knowledge Reasoning: A DL-based approach. In: Proceedings Seven International Conference on Electronic Commerce (ICEC 2005), Xi’an, China, pp. 692–697. ACM, New York (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Channa, N., Li, S. (2006). The Expressive Language ALCNHR+K(D) for Knowledge Reasoning. In: Nayak, R., Zaki, M.J. (eds) Knowledge Discovery from XML Documents. KDXD 2006. Lecture Notes in Computer Science, vol 3915. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11730262_10
Download citation
DOI: https://doi.org/10.1007/11730262_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-33180-3
Online ISBN: 978-3-540-33181-0
eBook Packages: Computer ScienceComputer Science (R0)