Cited By
View all- Channa NLi S(2006)The expressive language ALCNHR+K(D) for knowledge reasoningProceedings of the First international conference on Knowledge Discovery from XML Documents10.1007/11730262_10(74-84)Online publication date: 9-Apr-2006
Product knowledge reasoning: a DL-based approach
Pages 692 - 697
Abstract
In order to capture the full fledge semantic of complicated product data 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. Also the paper investigates an extension to description logic (DL) based knowledge reasoning by means of decomposing and rewriting complicated hybrid concepts into partitions. We present an approach that automatically decomposes the whole knowledge base into description logic compatible one and constraints solver one. Our arguments are two-fold. First, complex DLs with powerful representation ability lack effective reasoning ability. Second, we are concerned with how to reason effectively with the combination of inferences from distributed heterogeneous reasoner.
References
[1]
Szykman, S., Bochenek, C., Racz, J. W., Senfaute, J., Sriram, R. D., "Design repositories: Engineering design's new knowledge base", IEEE Intelligent Systems 15 (2000) 48--55.]]
[2]
Szykman, S., Sriram, R. D., Regli, W. C., "The role of knowledge in next-generation product development systems", Journal of Comp. and Inf. Science in Engineering 1 (2001) 3--11.]]
[3]
Fowler, J. E., "Variant design for mechanical artifacts: A state-of-the-art survey". Engineering with Computers, 12 (1996) 1--15]]
[4]
Donini, F. M., Lenzerini, M., Nardi, D., and Schaere, A., "Reasoning in description logics. In Principles of Knowledge Representation", G. Brewka, Ed. Studies in Logic, Language and Information. CSLI Publications, 193--238.]]
[5]
Calvanese, D., De Giacomo, G., Lenzerini, M., Nardi, D., and Rosati, R. 1998. Description logic framework for information integration. In Proceedings of the 6th International Conference on rinciples of Knowledge Representation and Reasoning (KR'98). 2--13.]]
[6]
Felix Metzger, "The challenge of capturing the semantics of STEP data models precisely", Workshop on Product Knowledge Sharing for Integrated Enterprises (ProKSI'96), 1996.]]
[7]
F. Baader and U. Sattler, "Description Logics with Concrete Domains and Aggregation", In H. Prade, editor, Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), pages 336--340. John Wiley & Sons Ltd, 1998.]]
[8]
F. Baader and R. Küsters, "Unification in a Description Logic with Transitive Closure of Roles". In R. Nieuwenhuis and A. Voronkov, editors, Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2001), volume 2250 of Lecture Notes in Computer Science, pages 217--232, Havana, Cuba, 2001. Springer-Verlag.]]
[9]
V. Haarslev, C. Lutz, and R. Möller, "A Description Logic with Concrete Domains and Role-forming Predicates". Journal of Logic and Computation, 9(3):351--384, 1999.]]
[10]
The Description Logic Handbook, edited by F. Baader, D. Calvanese, DL McGuinness, D. Nardi, PF Patel-Schneider, Cambridge University Press, 2002.]]
[11]
Ian Horrocks, Ulrike Sattler, "Optimised Reasoning for SHIQ", ECAI 2002: 277--281.]]
[12]
I. Horrocks, U. Sattler, and S. Tobies, "Practical Reasoning for Very Expressive Description Logics". Logic Journal of the IGPL, 8(3):239--264, May 2000.]]
[13]
E. Compatangelo, H. Meisel, "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 Information & Engineering Systems (KES'2002), pages 1439--1443.]]
[14]
Volker Haarslev, Ralf Möller, Michael Wessel, "The Description Logic ALCNHR+ Extended with Concrete Domains: A Practically Motivated Approach". IJCAR 2001: 29--44.]]
[15]
Domazet D., "The automatic tool selection with the production rules matrix method". Annals of the CIRP, 1990, 39(1): 497--500.]]
[16]
Dretske, Fred, "Epistemic Operators, The Journal of Philosophy", Vol. LXVII, No.24, Dec. 24, pp. 1007--1023.]]
[17]
Donini, F. M., Lenzerini, M., Nardi, D., Nutt, W., and Schaerf, A., "Adding epistemic operators to concept languages". In Proceedings of the 3rd International Conference on the Principles of Knowledge Representation and Reasoning (KR'92). Morgan Kaufmann, Los Altos, 342--353.]]
[18]
Mike Pratt, "Introduction to ISO 10303 - The STEP Standard for Product Data Exchange", ASME Journal of Computing and Information Science in Engineering, November, 2000]]
[19]
Schenk, D. A., and Wilson, P. R., "Information Modeling: The EXPRESS Way", Oxford University Press, New York, NY, 1994 (ISBN 0-19-508714-3).]]
[20]
Xiangjun Fu, Shanping Li, "Ontology Knowledge Representation for Product Data Model", Journal of Computer-Aided Design & Computer Graphics, to appear (in Chinese).]]
[21]
Xiangjun Fu, Shanping Li, "Methodology for Semantic Representing of Product Data in XML", In Proceedings of Advance Workshop on Content Computing, LNCS, to appear]]
[22]
B. Hu, E. Compatangelo, I. Arana, "A hybrid approach to extend DL-based reasoning with concrete domains", in proceedings of the KI-2001 Workshop on Applications of Description Logics, 2001.]]
[23]
Joseph B. Kopena, William C. Regli, "Design Repositories on The Semantic Web with Description-Logic Enabled Services" First International Semantic Web and Databases Workshop, Berlin, Germany (co-located with VLDB 2003), September 7--8 2003.]]
[24]
Bo Hu, Ernesto Compatangelo, Ines Arana, "Infusion: A Hybrid Reasoning System with Description Logics". Applied Informatics 2003: 327--332.]]
[25]
Ian Horrocks, Peter F. Patel-Schneider, "Reducing OWL Entailment to Description Logic Satisfiability". International Semantic Web Conference 2003, pp. 17--29.]]
Recommendations
Description logic programs: combining logic programs with description logic
WWW '03: Proceedings of the 12th international conference on World Wide WebWe show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules (RuleML Logic Programs) and ontologies (OWL/DAML+OIL Description Logic) via analyzing their expressive intersection. To do so, we define a ...
Multi-level networked knowledge: representation and DL-reasoning
Integrating pre-existing, heterogeneous, and complementary ontologies, and exploiting them jointly in reasoning remains a major challenge. Ontology alignments make explicit the correspondences between terms from different ontologies and must be taken ...
Combining Fuzzy Description Logics and Fuzzy Logic Programs
WI-IAT '08: Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03Integrating rules and ontologies has become a key requirement for applications in the Semantic Web. Web applications in general have also motivated another requirement, that of handling uncertainty, an intrinsic feature of the real world. In this paper, ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Copyright © 2005 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 15 August 2005
Check for updates
Author Tags
Qualifiers
- Article
Acceptance Rates
Overall Acceptance Rate 150 of 244 submissions, 61%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 376Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 20 Nov 2024
Other Metrics
Citations
Cited By
View all- Channa NLi S(2006)The expressive language ALCNHR+K(D) for knowledge reasoningProceedings of the First international conference on Knowledge Discovery from XML Documents10.1007/11730262_10(74-84)Online publication date: 9-Apr-2006
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in