{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:13:01Z","timestamp":1725567181878},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642162381"},{"type":"electronic","value":"9783642162398"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16239-8_28","type":"book-chapter","created":{"date-parts":[[2010,10,1]],"date-time":"2010-10-01T03:14:43Z","timestamp":1285902883000},"page":"203-210","source":"Crossref","is-referenced-by-count":0,"title":["Non-standard Reasoning Services for the Verification of DAML+OIL Ontologies"],"prefix":"10.1007","author":[{"given":"Yingjie","family":"Song","sequence":"first","affiliation":[]},{"given":"Rong","family":"Chen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"28_CR1","series-title":"Lecture Notes in Computer Science","first-page":"796","volume-title":"FME 2003: Formal Methods","author":"H.W. Jin","year":"2003","unstructured":"Jin, H.W., Dong, S., Sun, J.: Checking and reasoning about semantic web through alloy. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol.\u00a02805, pp. 796\u2013814. Springer, Heidelberg (2003)"},{"key":"28_CR2","unstructured":"Haarslev, V., M\u00f6ller, R.: RACER User\u2019s Guide and Reference Manaual: Version 1.7.6 (December 2002)"},{"key":"28_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/3-540-69778-0_30","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"I. Horrocks","year":"1998","unstructured":"Horrocks, I.: The fact system. In: de Swart, H. (ed.) TABLEAUX 1998. LNCS (LNAI), vol.\u00a01397, pp. 307\u2013312. Springer, Heidelberg (1998)"},{"key":"28_CR4","doi-asserted-by":"crossref","unstructured":"Hendler, J., Berners-Lee, T., Lassila, O.: The semantic web. Scientific American (May 2001)","DOI":"10.1038\/scientificamerican0501-34"},{"issue":"2","key":"28_CR5","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1145\/505145.505149","volume":"11","author":"D. Jackson","year":"2002","unstructured":"Jackson, D.: Alloy: a lightweight object modelling notation. ACM Trans. Softw. Eng. Methodol.\u00a011(2), 256\u2013290 (2002)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"28_CR6","doi-asserted-by":"publisher","first-page":"730","DOI":"10.1145\/337180.337616","volume-title":"ICSE 2000: Proceedings of the 22nd International Conference on Software Engineering","author":"D. Jackson","year":"2000","unstructured":"Jackson, D., Schechter, I., Shlyahter, H.: Alcoa: the alloy constraint analyzer. In: ICSE 2000: Proceedings of the 22nd International Conference on Software Engineering, pp. 730\u2013733. ACM, New York (2000)"},{"key":"28_CR7","first-page":"792","volume-title":"Eighteenth National Conference on Artificial Intelligence","author":"I. Horrocks","year":"2002","unstructured":"Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: Reviewing the design of daml+oil: an ontology language for the semantic web. In: Eighteenth National Conference on Artificial Intelligence, pp. 792\u2013797. American Association for Artificial Intelligence, Menlo Park (2002)"},{"key":"28_CR8","unstructured":"van Harmelen, F., Patel-Schneider, P.F., Horrocks, I. (eds.): Reference description of the daml+oil ontology markup language (March 2001)"},{"key":"28_CR9","unstructured":"Broekstra, J., Klein, M., Decker, S., Fensel, D., Horrocks, I.: Adding formal semantics to the web building on top of rdf schema. In: Proc. of the ECDL 2000 Workshop on the Semantic Web (2000)"},{"key":"28_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/11814771_26","volume-title":"Automated Reasoning","author":"D. Tsarkov","year":"2006","unstructured":"Tsarkov, D., Horrocks, I.: Fact++ description logic reasoner: System description. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol.\u00a04130, pp. 292\u2013297. Springer, Heidelberg (2006)"},{"key":"28_CR11","doi-asserted-by":"crossref","unstructured":"Lutz, C.: The complexity of reasoning with concrete domains revised version. Technical report (1999)","DOI":"10.25368\/2022.88"}],"container-title":["IFIP Advances in Information and Communication Technology","Artificial Intelligence Applications and Innovations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16239-8_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,3]],"date-time":"2023-06-03T15:15:46Z","timestamp":1685805346000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16239-8_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642162381","9783642162398"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16239-8_28","relation":{},"ISSN":["1868-4238","1861-2288"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1861-2288"}],"subject":[],"published":{"date-parts":[[2010]]}}}