{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:32:14Z","timestamp":1725564734053},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540213710"},{"type":"electronic","value":"9783540246558"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24655-8_104","type":"book-chapter","created":{"date-parts":[[2010,9,8]],"date-time":"2010-09-08T16:25:37Z","timestamp":1283963137000},"page":"912-915","source":"Crossref","is-referenced-by-count":0,"title":["N-SHOQ(D): A Nonmonotonic Extension of Description Logic SHOQ(D)"],"prefix":"10.1007","author":[{"given":"Songxin","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shuigeng","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fei","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aoying","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"104_CR1","first-page":"4","volume":"25","author":"I. Horrocks","year":"2002","unstructured":"Horrocks, I.: DAML+OIL: a description logic for the semantic web. IEEE Bull of the Technical Committee on Data Engineering\u00a025(1), 4\u20139 (2002)","journal-title":"IEEE Bull of the Technical Committee on Data Engineering"},{"key":"104_CR2","first-page":"199","volume-title":"Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI 2001)","author":"I. Horrocks","year":"2001","unstructured":"Horrocks, I., Sattler, U.: Ontology reasoning in the SHOQ(D) description logic. In: Nebel, B. (ed.) Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI 2001), pp. 199\u2013204. Morgan Kaufmann, San Francisco (2001)"},{"key":"104_CR3","unstructured":"BACK. System presentation. In: Proceedings of Terminological Logic Users Workshop., KIT-Report 95, TU Berlin (1991)"},{"key":"104_CR4","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/BF00883932","volume":"14","author":"F. Baader","year":"1995","unstructured":"Baader, F., Hollunder, B.: Embedding defaults into terminological representation systems. J. Automated Reasoning\u00a014, 149\u2013180 (1995)","journal-title":"J. Automated Reasoning"},{"key":"104_CR5","unstructured":"Baader, F., Hollunder, B.: How to prefer more specific defaults in terminological default logic. In: IJCAI 1993, pp. 669\u2013674 (1993)"},{"key":"104_CR6","unstructured":"Giugno, R., Lukasiewicz, T.: P-SHOQ(D): A probabilistic extension of SHOQ(D) for probabilistic ontologies in the semantic web. Technical Report INFSYS RR-1843-02-06, Institut fur Information systeme, Technische Universit\u00e4t Wien (2002)"}],"container-title":["Lecture Notes in Computer Science","Advanced Web Technologies and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24655-8_104.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,2]],"date-time":"2021-05-02T22:58:27Z","timestamp":1619996307000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24655-8_104"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540213710","9783540246558"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24655-8_104","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}