{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:46:12Z","timestamp":1725543972133},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540331803"},{"type":"electronic","value":"9783540331810"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11730262_10","type":"book-chapter","created":{"date-parts":[[2006,2,25]],"date-time":"2006-02-25T06:11:39Z","timestamp":1140847899000},"page":"74-84","source":"Crossref","is-referenced-by-count":0,"title":["The Expressive Language ALCNHR+K(D) for Knowledge Reasoning"],"prefix":"10.1007","author":[{"given":"Nizamuddin","family":"Channa","sequence":"first","affiliation":[]},{"given":"Shanping","family":"Li","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"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\u201313 (1998)"},{"key":"10_CR2","unstructured":"The Semantic Web lifts off \u2019by Tim Berners-Lee and Eric Miller, W3C. ERCIM News No. 51 (October 2002)"},{"key":"10_CR3","unstructured":"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)"},{"key":"10_CR4","first-page":"336","volume-title":"Proceedings of the 13th European Conference on Artificial Intelligence (ECAI 1998)","author":"F. Baader","year":"1998","unstructured":"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\u2013340. John Wiley & Sons Ltd, Chichester (1998)"},{"key":"10_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/3-540-45653-8_15","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"F. Baader","year":"2001","unstructured":"Baader, F., K\u00fcsters, R.: Unification in a Description Logic with Transitive Closure of Roles. In: Nieuwenhuis, R., Voronkov, A. (eds.) LPAR 2001. LNCS (LNAI), vol.\u00a02250, pp. 217\u2013232. Springer, Heidelberg (2001)"},{"issue":"3","key":"10_CR6","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1093\/logcom\/9.3.351","volume":"9","author":"V. Haarslev","year":"1999","unstructured":"Haarslev, V., Lutz, C., M\u00f6ller, R.: A Description Logic with Concrete Domains and Role-forming Predicates. Journal of Logic and Computation\u00a09(3), 351\u2013384 (1999)","journal-title":"Journal of Logic and Computation"},{"key":"10_CR7","volume-title":"The Description Logic Handbook","author":"F. Baader","year":"2002","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook. Cambridge University Press, Cambridge (2002)"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Horrocks, I., Sattler, U.: Optimised Reasoning for SHIQ. In: ECAI 2002, pp. 277\u2013281 (2002)","DOI":"10.25368\/2022.118"},{"issue":"3","key":"10_CR9","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1093\/jigpal\/8.3.239","volume":"8","author":"I. Horrocks","year":"2000","unstructured":"Horrocks, I., Sattler, U., Tobies, S.: Practical Reasoning for Very Expressive Descrip-tion Logics. Logic Journal of the IGPL\u00a08(3), 239\u2013264 (2000)","journal-title":"Logic Journal of the IGPL"},{"key":"10_CR10","unstructured":"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\u20131443 (2002)"},{"key":"10_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/3-540-45744-5_4","volume-title":"Automated Reasoning","author":"V. Haarslev","year":"2001","unstructured":"Haarslev, V., M\u00f6ller, R., Wessel, M.: The Description Logic ALCNHR+ Ex-tended with Concrete Domains: A Practically Motivated Approach. In: Gor\u00e9, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol.\u00a02083, pp. 29\u201344. Springer, Heidelberg (2001)"},{"issue":"1","key":"10_CR12","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1016\/S0007-8506(07)61105-6","volume":"39","author":"D. Domazet","year":"1990","unstructured":"Domazet, D.: The automatic tool selection with the production rules matrix method. Annals of the CIRP\u00a039(1), 497\u2013500 (1990)","journal-title":"An-nals of the CIRP"},{"key":"10_CR13","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Automated Reasoning","author":"V. Haarslev","year":"2001","unstructured":"Haarslev, V., M\u00f6ller, R.: RACER System Description. In: Gor\u00e9, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol.\u00a02083, Springer, Heidelberg (2001)"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Dretske, F.: Epistemic Operators. The Journal of Philosophy\u00a0LXVII (24), 1007\u20131023","DOI":"10.2307\/2024710"},{"key":"10_CR15","first-page":"342","volume-title":"Proceedings of the 3rd International Conference on the Principles of Knowledge Representation and Reasoning (KR 1992)","author":"F.M. Donini","year":"1992","unstructured":"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\u2013353. Morgan Kaufmann, Los Altos (1992)"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Pratt, M.: Introduction to ISO 10303 - The STEP Standard for Product Data Exchange, ASME Journal of Computing and Information Science in Engineering, November (2000)","DOI":"10.1115\/1.1354995"},{"key":"10_CR17","unstructured":"Fu, X., Li, S.: Ontology Knowledge Representation for Product Data Model, Journal of Computer-Aided Design & Computer Graphics (to appear) (in Chinese)"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1007\/978-3-540-30483-8_46"},{"key":"10_CR19","doi-asserted-by":"crossref","first-page":"692","DOI":"10.1145\/1089551.1089674","volume-title":"Proceedings Seven International Conference on Electronic Commerce (ICEC 2005)","author":"N. Channa","year":"2005","unstructured":"Channa, N., Li, S., Fu, X.: Product Knowledge Reasoning: A DL-based approach. In: Proceedings Seven International Conference on Electronic Commerce (ICEC 2005), Xi\u2019an, China, pp. 692\u2013697. ACM, New York (2005)"}],"container-title":["Lecture Notes in Computer Science","Knowledge Discovery from XML Documents"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11730262_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,6]],"date-time":"2023-05-06T16:14:18Z","timestamp":1683389658000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11730262_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540331803","9783540331810"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11730262_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}