{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T12:34:41Z","timestamp":1773318881334,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540244226","type":"print"},{"value":"9783540309604","type":"electronic"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"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":[[2004]]},"DOI":"10.1007\/978-3-540-30960-4_16","type":"book-chapter","created":{"date-parts":[[2010,2,25]],"date-time":"2010-02-25T19:19:26Z","timestamp":1267125566000},"page":"238-248","source":"Crossref","is-referenced-by-count":31,"title":["F-OWL: An Inference Engine for Semantic Web"],"prefix":"10.1007","author":[{"given":"Youyong","family":"Zou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tim","family":"Finin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Harry","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Baader, F., Sattler, U.: An Overview of Tableau Algorithms for Description Logics. In: Proceeding of Tableau 2000, RWTH Achen (2000)","DOI":"10.1007\/10722086_1"},{"key":"16_CR2","unstructured":"Balaban, M.: The F-Logic Approach for Description Languages, Ben- Gurion University of Negev Technical Report FC-93-02 (1993)"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific America (May 2001)","DOI":"10.1038\/scientificamerican0501-34"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Chen, W., Kifer, M., Warren, D.: Logical Foundations of Object-Oriented and Frame-Based Languages. Journal of ACM (May 1995)","DOI":"10.1145\/210332.210335"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Golbeck, J., Parsia, B., Hendler, J.: Trust networks on the semantic web. In: Proceedings of Cooperative Intelligent Agents 2003, Helsinki, Finland (August 2003)","DOI":"10.1007\/978-3-540-45217-1_18"},{"key":"16_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1007\/3-540-45744-5_59","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, vol.\u00a02083, pp. 701\u2013705. Springer, Heidelberg (2001)"},{"key":"16_CR7","unstructured":"Hayes, P.: RDF Semantics. W3C working Draft (2003)"},{"key":"16_CR8","unstructured":"Hendler, J., McGuinness, D.L.: The DARPA Agent Markup Language. IEEE Intelligent Systems, Trends and Controversies, 6\u20137 (November\/December 2000)"},{"key":"16_CR9","unstructured":"Horrocks, I.: FaCT and iFaCT. In: Lambrix, P., Borgida, A., Lenzerini, M., M\u00f6ller, R., Patel-Schneider, P. (eds.) Proceedings of the International Workshop on Description Logics (DL 1999), pp. 133\u2013135 (1999)"},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-540-39718-2_2","volume-title":"The Semantic Web - ISWC 2003","author":"I. Horrocks","year":"2003","unstructured":"Horrocks, I., Patel-Schneider, P.F.: Reducing OWL entailment to description logic satisfiability. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol.\u00a02870, pp. 17\u201329. Springer, Heidelberg (2003)"},{"issue":"4","key":"16_CR11","doi-asserted-by":"publisher","first-page":"741","DOI":"10.1145\/210332.210335","volume":"42","author":"M. Kifer","year":"1995","unstructured":"Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. J. ACM\u00a042(4), 741\u2013843 (1995)","journal-title":"J. ACM"},{"key":"16_CR12","unstructured":"Klyne, G.: Framework for Security and Trust Standards. SWAD-Europe (December 2002)"},{"key":"16_CR13","volume-title":"Proceeding of first Semantic Web Working Symposium","author":"O. Lassila","year":"2001","unstructured":"Lassila, O.: Enabling Semantic Web Programming by Integrating RDF and Common lisp. In: Proceeding of first Semantic Web Working Symposium. Stanford University, Stanford (2001)"},{"key":"16_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/3-540-48005-6_24","volume-title":"The Semantic Web - ISWC 2002","author":"O. Lassila","year":"2002","unstructured":"Lassila, O.: Taking the RDF Model Theory Out for a Spin. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol.\u00a02342, p. 307. Springer, Heidelberg (2002)"},{"key":"16_CR15","unstructured":"Patel-Schneider, P.F., Hayes, P., Horrocks, I.: OWL Web Ontology Language Semantics and Abstract Syntax. W3C working Draft (2003)"},{"key":"16_CR16","unstructured":"Riazanov, A.: Implementing an Efficient Theorem Prover, PhD thesis, University of Manchester (2003)"},{"key":"16_CR17","doi-asserted-by":"crossref","unstructured":"Sagonas, K., Swift, T., Warren, D.S.: XSB as an efficient deductive database engine. In: ACM Conference on Management of Data (SIGMOD) (1994)","DOI":"10.1145\/191839.191927"},{"key":"16_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1078","DOI":"10.1007\/3-540-44957-4_72","volume-title":"Computational Logic - CL 2000","author":"G. Yang","year":"2000","unstructured":"Yang, G., Kifer, M.: FLORA: Implementing an efficient DOOD system using a tabling logic engine. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol.\u00a01861, pp. 1078\u20131093. Springer, Heidelberg (2000)"},{"key":"16_CR19","unstructured":"Zou, Y., Finin, T., Ding, L., Chen, H., Pan, R.: TAGA: Trading Agent Competition in Agentcities. In: Workshop on Trading Agent Design and Analysis, held in conjunction with the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco MX, Monday, August 11 (2003)"},{"key":"16_CR20","unstructured":"Zou, Y.: Agent-Based Services for the Semantic Web, Ph.D. Dissertation, University of Maryland, Baltimore County (August 2004)"}],"container-title":["Lecture Notes in Computer Science","Formal Approaches to Agent-Based Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30960-4_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T11:47:39Z","timestamp":1558871259000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30960-4_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540244226","9783540309604"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30960-4_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}