{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:54:08Z","timestamp":1725468848714},"reference-count":16,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387342238"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/0-387-34224-9_12","type":"book-chapter","created":{"date-parts":[[2006,8,25]],"date-time":"2006-08-25T14:54:56Z","timestamp":1156517696000},"page":"98-105","source":"Crossref","is-referenced-by-count":0,"title":["MDA-Based Architecture of a Description Logics Reasoner"],"prefix":"10.1007","author":[{"given":"Nenad","family":"Krd\u017eavac","sequence":"first","affiliation":[]},{"given":"Dragan","family":"\u00d0uri\u0107","sequence":"additional","affiliation":[]},{"given":"Vladan","family":"Deved\u017ei\u0107","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"5","key":"12_CR1","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1109\/MS.2003.1231149","volume":"20","author":"C. Atkinson","year":"2003","unstructured":"Atkinson C., Kuhne T., Model-Driven Development, A Metamodeling Foundation, IEEE Software 205 (2003) 36\u201341","journal-title":"IEEE Software"},{"key":"12_CR2","unstructured":"Baader F., Calvanese D., D. McGuinness, Nardi D., Patel-Schneider P., The Description Logic Handbook-Theory, Implementation and Application, Cambridge University Press (2003)"},{"key":"12_CR3","unstructured":"Bezivin J., In Search of Basic Principles for Model Drive Architecture, The European Journal for The Informatics Professional, 52 (2004)"},{"key":"12_CR4","unstructured":"Dirckze R., (spec, leader): Java Metadata Interface (JMI) API Specification ver. 1.0 (2002) [Online]. Available: http:\/\/jcp.org\/aboutJava\/communitvprocess\/final\/jsr040\/"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Djuric D., Gasevic D., Damjanovic V., AIR-A Platform for Intelligent Systems, In Proceedings of AIAI 2004: First IFIP International Conference on Artificial Intelligence Applications and Innovations, Toulouse France (2004)","DOI":"10.1007\/1-4020-8151-0_33"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Haarslev V., Moller R., RACER Systems Description, Lecture Notice in Computer Science 20083(2001)","DOI":"10.1007\/3-540-45744-5_59"},{"key":"12_CR7","unstructured":"Horrocks I., Optimising Tableaux Decision Procedures for Description Logics, PhD Thesis, University of Manchester (1997)"},{"key":"12_CR8","unstructured":"Jouault F., Kurtev I., Transforming Models with ATL, In Proc. of the Model Transformations in Practice Workshop at MoDELS, Jamaica (2005). Available: http:\/\/sosvm.dcs.kcl.ac.uk\/events\/mtip\/submissions\/jouault_kurtev transforming_models_with_atl.pdf"},{"key":"12_CR9","unstructured":"Krdzavac N., Gasevic D., Devedzic V., Description Logic Reasoning in Web-based Education Environment, In Proceedings of the Workshop on Adaptive Hypermedia and Collaborative Web-based Systems (4th International Conference on Web Engineering), Munich, Germany (2004)"},{"key":"12_CR10","unstructured":"Meta Object Facility (MOF) Specification, vl.4, [Online]. Available: http:\/\/www.omg.org\/docs\/formal\/02-04-03.pdf"},{"key":"12_CR11","unstructured":"Mukerji J., Miler J., MDA Guide Version. 1.0.1, [Online]. Available: http:\/\/www.omg.org\/docs\/omg\/03-06-01.pdf"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"OMG XMI Specification, ver. 1.2, OMG Document Formal\/02-01-01 (2002) [Online.] Available: http:\/\/www.omg.org\/cgi-bin\/doc?formal\/2002-01-01.pdf","DOI":"10.22442\/jlumhs.02110001"},{"key":"12_CR13","unstructured":"Ontology Definition Metamodel, Preliminary Revised Submission to OMG RFP ad\/2003-03-40 1 (2004) [Online]. Available: http:\/\/codip.grci.com\/odm\/draft"},{"key":"12_CR14","unstructured":"Request for Proposal: MOF 2.0 Query \/ Views \/Transformations RFP, OMG Document: ad\/2002-04-10 (2002) [Online]. Available: http:\/\/www.omg.org\/docs\/ad\/02-04-10.pdf"},{"key":"12_CR15","unstructured":"Sirin E., Parsia B., An OWL DL Reasoner, Proceedings on International Workshop on Description Logics (DL2004), British Columbia, Canada 6.\u20138. June (2004)"},{"key":"12_CR16","unstructured":"Soley R., MDA, An Introduction, [Online]. Available: http:\/\/www.omg.org. (2004)"}],"container-title":["IFIP International Federation for Information Processing","Artificial Intelligence Applications and Innovations"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/0-387-34224-9_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,31]],"date-time":"2021-07-31T17:11:54Z","timestamp":1627751514000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/0-387-34224-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9780387342238"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/0-387-34224-9_12","relation":{},"subject":[]}}