{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:05:30Z","timestamp":1729641930529,"version":"3.28.0"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cit.2004.1357207","type":"proceedings-article","created":{"date-parts":[[2004,12,23]],"date-time":"2004-12-23T09:34:02Z","timestamp":1103794442000},"page":"265-272","source":"Crossref","is-referenced-by-count":0,"title":["The lattice approach to ontology language interoperability"],"prefix":"10.1109","author":[{"family":"Baisheng Shi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Zongtai Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Yuqing Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Hong Yu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Meili Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","first-page":"471","author":"chalupsky","year":"2000","journal-title":"Ontomorph A Translation System for Symbolic Logic"},{"key":"2","first-page":"31","author":"levesque","year":"1985","journal-title":"Readings in Knowledge Representation"},{"key":"1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1613\/jair.919","article-title":"Fusions of description logics and abstract description systems","volume":"16","author":"baader","year":"2002","journal-title":"Journal of Artificial Intelligence Research"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/0169-023X(94)90002-7"},{"key":"7","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/3-540-69778-0_30","article-title":"The FaCT system","author":"horrocks","year":"1998","journal-title":"Automated Reasoning with Analytic Tableaux and Related Methods International Conference Tableaux'98"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59830-2"},{"key":"5","first-page":"1","article-title":"OIL in a nutshell","author":"fensel","year":"2000","journal-title":"Proceedings of the 12th International Conference on Knowledge Engineering and Knowledge Management EKAW 2000"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1006\/knac.1993.1008"},{"key":"9","article-title":"Query containment using a dir abox - Preliminary version","volume":"99","author":"horrocks","year":"1999","journal-title":"LCTS Report"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/275487.275504"},{"key":"11","first-page":"20","article-title":"Preserving modularity in XML encoding of description logics","author":"euzenat","year":"2001","journal-title":"Proc 14th Workshop on Description Logics (DL)"}],"event":{"name":"The Fourth International Conference onComputer and Information Technology, 2004. CIT '04.","location":"Wuhan, China"},"container-title":["The Fourth International Conference onComputer and Information Technology, 2004. CIT '04."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9381\/29791\/01357207.pdf?arnumber=1357207","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,4]],"date-time":"2019-01-04T09:59:21Z","timestamp":1546595961000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1357207\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/cit.2004.1357207","relation":{},"subject":[]}}