{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T20:37:08Z","timestamp":1725482228968},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540370154"},{"type":"electronic","value":"9783540370178"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-37017-8_6","type":"book-chapter","created":{"date-parts":[[2007,3,7]],"date-time":"2007-03-07T21:11:25Z","timestamp":1173301885000},"page":"147-168","source":"Crossref","is-referenced-by-count":2,"title":["Web Information Representation, Extraction, and Reasoning based on Existing Programming Technology"],"prefix":"10.1007","author":[{"given":"Fei","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jidong","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tharam S.","family":"Dillon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1_6","unstructured":"Ankolekar, Seo and Sycara, Investigating Semantic Knowledge for Test Learning, Proceedings of Semantic Web Workshop in associated with 26th Annual International ACM SIGIR Conference, 2003."},{"key":"6_CR2_6","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/0743-1066(94)90051-5","volume":"18","author":"KR Apt","year":"1994","unstructured":"Apt K.R. and Doests K., A New Definition of SLDNF-Resolution, Journal of Logic Programming, Vol 18 1994, pp. 177 - 190.","journal-title":"Journal of Logic Programming"},{"key":"6_CR3_6","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1017\/S1471068402001254","volume":"2","author":"M Bozzano","year":"2002","unstructured":"Bozzano M., Delzanno G. and Martelli M., An Effective Fixpoint Semantics for Liner Logic Programs, Journal of Theory and Practices of Logic Programming, Vol 2, Part 1, 2002, pp.85 - 122.","journal-title":"Journal of Theory and Practices of Logic Programming"},{"key":"6_CR4_6","unstructured":"Brewka G. and Eiter T., Preferred Answer Sets for Extended Logic Programs, Proceedings of Sixth International Conference on Principles of Knowledge Representation and Reasoning, 1998, pp.86-97."},{"key":"6_CR5_6","unstructured":"Connolly, D., Harmelen F., Horrocks, I., McGuinness D., Stein L., DAML+OIL Reference Description, http:\/\/www.w3.org\/TR\/daml+oil-reference , 2001."},{"issue":"3","key":"6_CR6_6","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1145\/502807.502810","volume":"33","author":"E Dantsin","year":"2001","unstructured":"Dantsin E.et al., Complexity and Expressive Power of Logic Programming, ACM Computing Surveys, Vol 33, Num. 3, 2001, pp. 374 - 425.","journal-title":"ACM Computing Surveys"},{"key":"6_CR7_6","unstructured":"Fensel D., The Semantic Web, Tutorial notes, The 9th IFIP 2.6 Working Conference on Database Semantics, April 2001."},{"issue":"2","key":"6_CR8_6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/375360.375363","volume":"33","author":"R Greiner","year":"2001","unstructured":"Greiner R., Efficient Reasoning, ACM Computing Surveys, Vol. 33, Num. 2, 2001, pp. 1 - 30.","journal-title":"ACM Computing Surveys"},{"issue":"2","key":"6_CR9_6","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1006\/knac.1993.1008","volume":"5","author":"TR Gruber","year":"1993","unstructured":"Gruber T. R. A translation approach to portable ontologies. Knowledge Acquisition, 5(2):199-220, 1993.","journal-title":"Knowledge Acquisition"},{"key":"6_CR10_6","unstructured":"Kiryakov, Borislav and Manov, Semantic Indexing and Retrival, Proceedings of Semantic Web Workshop in associated with 26th Annual International ACM SIGIR Conference, 2003."},{"key":"6_CR11_6","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1016\/S0004-3702(96)00027-6","volume":"89","author":"G Kondrak","year":"1997","unstructured":"Kondrak G. and van Beek P., A theoretical Evaluation of Selected Backtracking Algorithms. Artificial Intelligence Vol. 89, 1997, pp. 365 - 387.","journal-title":"Artificial Intelligence"},{"key":"6_CR12_6","unstructured":"Lassila O. and Swick R. R., Resource Description Framework (RDF) Model and Syntax Specification, http:\/\/www.w3.org\/TR\/1999\/REC-rdf-syntax-19990222\/ , 2001."},{"key":"6_CR13_6","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/S0020-0255(97)10068-8","volume":"108","author":"F Liu","year":"1998","unstructured":"Liu F. and Moore D.H., An Implementation of Kripke-Kleene Semantics, Journal of Information Sciences, Vol. 108, 1998, pp. 31 - 50.","journal-title":"Journal of Information Sciences"},{"key":"6_CR14_6","doi-asserted-by":"crossref","unstructured":"Liu F. and Moore D.H., Double Defined Logic Programming, Proceedings of the Sixth Australian Joint Conference on Artificial Intelligence, 1993, pp. 27 - 32.","DOI":"10.1016\/0004-3702(93)90165-8"},{"key":"6_CR15_6","unstructured":"Liu F. and Moore D.H., GOPT-Resolution and Its Applications, Proceedings of the Eighth International Conference on Artificial Intelligence Applications, 1996, pp. 9 - 14."},{"key":"6_CR16_6","doi-asserted-by":"crossref","unstructured":"Liu F. and Moore D.H., Independence of Selecting Rule and Ordering Rule in PT-Resolution, Proceedings of IEEE International Conference on Intelligent Processing Systems, November 1997, pp. 1082 - 1086.","DOI":"10.1109\/ICIPS.1997.669147"},{"key":"6_CR17_6","unstructured":"Liu F. PT(CP)-Resolution, Proceedings of the 10th IEEE International Conference on Fuzzy Systems, December 2001, Vol. 2 pp 368"},{"key":"6_CR18_6","doi-asserted-by":"crossref","unstructured":"Liu F., Approximate Reasoning and PT-Resolution, Proceedings of IEEE International Symposium on Computational Intelligence in Robotics and Automation, July 2003, pp. 609 - 613.","DOI":"10.1109\/CIRA.2003.1222250"},{"key":"6_CR19_6","unstructured":"Liu F., Moore D.H. and Wang J., The Completeness of GOPT-Resolution, Proceedings of the Second ECPD International Conference on Advanced Robotics, Intelligent Automation and Active Systems, 1996, pp. 92 - 98."},{"key":"6_CR20_6","unstructured":"Liu F., Moore D.H. and Wang J., The Soundness of GOPT-Resolution, Proceedings of the International Conference on Genetic Algorithms, 1996, pp. 66 - 70."},{"key":"6_CR21_6","doi-asserted-by":"crossref","unstructured":"Liu F., Wang J. and Dillon T., An Object-Oriented Approach on Web Information Representation and Derivation, Proceedings of the 2004 IEEE International Conference on e-Technology, e-Commerce and e-Service, April 2004, pp. 309 - 314.","DOI":"10.1109\/EEE.2004.1287328"},{"key":"6_CR22_6","unstructured":"Liu F., Wang J. and Dillon T., GOPT-Resolution in Web Information Derivation, Proceedings of The Sixth International Conference on Information Integration and Web-based Applications and Services, September 2004, pp. 49 - 56."},{"key":"6_CR23_6","unstructured":"Liu F., Wang J. Wang H. and Dillon T., The Object-Oriented Features of OOWIS, Proceedings of International Conference on Internet Computing, to appear."},{"key":"6_CR24_6","doi-asserted-by":"crossref","unstructured":"Schwartz David G., From Open IS Semantics to the Semantic Web: The Road Ahead, IEEE Intelligent Systems, Volume 18, No.3, May\/Jane 2003.","DOI":"10.1109\/MIS.2003.1200729"},{"key":"6_CR25_6","unstructured":"van Harmelen F., Hendler J., Horrocks I., McGuinness D., Stein L., OWL Web Ontology Language Reference, http:\/\/www.w3.org\/TR\/2004\/REC-owl-features-20040210\/ , 2004"}],"container-title":["Studies in Computational Intelligence","E-Service Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-37017-8_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:39:38Z","timestamp":1605760778000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-37017-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540370154","9783540370178"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-37017-8_6","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2007]]}}}