{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T07:46:43Z","timestamp":1742975203058,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642229602"},{"type":"electronic","value":"9783642229619"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-22961-9_17","type":"book-chapter","created":{"date-parts":[[2011,8,19]],"date-time":"2011-08-19T01:25:02Z","timestamp":1313717102000},"page":"212-226","source":"Crossref","is-referenced-by-count":1,"title":["Monitoring Conformance to the Internal Regulation of an MSc Course Using Ontologies and Rules"],"prefix":"10.1007","author":[{"given":"Gerasimos","family":"Papadopoulos","sequence":"first","affiliation":[]},{"given":"Nick","family":"Bassiliades","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"El Kharbili, M., Stolarski, P.: Business Information Systems Workshops. In: BIS International Workshops (2009)","key":"17_CR1"},{"issue":"1","key":"17_CR2","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/s10506-007-9057-x","volume":"16","author":"J.V. Salceda","year":"2008","unstructured":"Salceda, J.V., Aldewereld, H., Grossi, D., Dignum, F.: From human regulations to regulated software agents\u2019 behaviour: Connecting the abstract declarative norms with the concrete operational implementation. Artificial Intelligence and Law\u00a016(1), 73\u201387 (2008)","journal-title":"Artificial Intelligence and Law"},{"doi-asserted-by":"crossref","unstructured":"Antoniou, G., Billington, D., Maher, M.J.: On the Analysis of Regulations using Defeasible Rules. In: Proc. 32nd Hawaii International Conference on System Sciences (HICSS 1999), vol.\u00a06, p. 6033 (1999)","key":"17_CR3","DOI":"10.1109\/HICSS.1999.772631"},{"key":"17_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/978-3-540-75524-1_10","volume-title":"Engineering Societies in the Agents World VII","author":"P.J. Feltovich","year":"2007","unstructured":"Feltovich, P.J., Bradshaw, J.M., Clancey, W.J., Johnson, M.: Toward an Ontology of Regulation: Socially-Based Support for Coordination in Human and Machine Joint Activity. In: O\u2019Hare, G.M.P., Ricci, A., O\u2019Grady, M.J., Dikenelli, O. (eds.) ESAW 2006. LNCS (LNAI), vol.\u00a04457, pp. 175\u2013192. Springer, Heidelberg (2007)"},{"unstructured":"Herman, I.: W3C Semantic Web Activity, http:\/\/www.w3.org\/2001\/sw\/ (retrieved May 25, 2011)","key":"17_CR5"},{"unstructured":"Koivunen, M.-R., Miller, E.: Semantic Web Layers, Semantic Web Kick-Off in Finland - Vision, Technologies, Research, and Applications, pp. 27\u201344 (2002)","key":"17_CR6"},{"unstructured":"McGuinness, D.L., van Harmelen, F.: Ontology Web Language (OWL), http:\/\/www.w3.org\/TR\/owl-features\/","key":"17_CR7"},{"unstructured":"Horrocks, I., Patel-Schneider, P. F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A Semantic Web Rule Language Combining OWL and RuleML. Technical report, W3C Member Submission (2004), http:\/\/www.w3.org\/Submission\/SWRL\/","key":"17_CR8"},{"key":"17_CR9","volume-title":"The Description Logic Handbook : Theory, Implementation and Applications","author":"F. Baader","year":"2003","unstructured":"Baader, F.: The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press, Cambridge (2003)"},{"unstructured":"Hayes, P.: RDF Semantics (2004), http:\/\/www.w3.org\/TR\/rdf-mt\/","key":"17_CR10"},{"key":"17_CR11","volume-title":"A Semantic Web Primer","author":"G. Antoniou","year":"2008","unstructured":"Antoniou, G., van Harmelen, F.: A Semantic Web Primer, 2nd edn. MIT Press, Cambridge (2008)","edition":"2"},{"issue":"5","key":"17_CR12","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1038\/scientificamerican0501-34","volume":"284","author":"T. Berners-Lee","year":"2001","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American Magazine\u00a0284(5), 34\u201343 (2001)","journal-title":"Scientific American Magazine"},{"key":"17_CR13","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/1135777.1135784","volume-title":"Proceedings of the International Conference on World Wide Web","author":"P.F. Patel-Schneider","year":"2006","unstructured":"Patel-Schneider, P.F., Horrocks, I.: Position Paper: A Comparison of Two Modelling Paradigms in the Semantic Web. In: Proceedings of the International Conference on World Wide Web, pp. 3\u201312. ACM Press, New York (2006)"},{"key":"17_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1007\/11926078_36","volume-title":"The Semantic Web - ISWC 2006","author":"B. Motik","year":"2006","unstructured":"Motik, B., Horrocks, I., Rosati, R., Sattler, U.: Can OWL and Logic Program-ming Live Together Happily Ever After? In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol.\u00a04273, pp. 501\u2013514. Springer, Heidelberg (2006)"},{"unstructured":"Horrocks, I., Li, L., Turi, D., Bechhofer, S.: The Instance Store: Description Logic Reasoning with Large Numbers of Individuals. In: Proceedings of the Workshop on Description Logics, vol.\u00a0104, pp. 31\u201340. CEUR-WS (2004)","key":"17_CR15"},{"unstructured":"Haarslev, V., Moller, R.: An Empirical Evaluation of Optimization Strategies for ABox Reasoning in Expressive Description Logics. In: Proc. Int. Workshop on Description Logics, vol.\u00a022. CEUR-WS (1999)","key":"17_CR16"},{"issue":"1","key":"17_CR17","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/j.artint.2004.06.002","volume":"160","author":"I. Horrocks","year":"2004","unstructured":"Horrocks, I., Sattler, U.: Decidability of SHIQ with Complex Role Inclusion Axioms. Artificial Intelligence\u00a0160(1), 79\u2013104 (2004)","journal-title":"Artificial Intelligence"},{"key":"17_CR18","first-page":"57","volume-title":"Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning","author":"I. Horrocks","year":"2006","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The Even More Irresistible SROIQ. In: Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, pp. 57\u201367. AAAI Press, Menlo Park (2006)"},{"key":"17_CR19","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1145\/775152.775160","volume-title":"Proceedings of the International Conference on World Wide Web","author":"B.N. Grosof","year":"2003","unstructured":"Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description Logic Programs: Combining Logic Programs with Description Logic. In: Proceedings of the International Conference on World Wide Web, pp. 48\u201357. ACM Press, New York (2003)"},{"key":"17_CR20","doi-asserted-by":"crossref","first-page":"623","DOI":"10.1145\/1060745.1060836","volume-title":"Proceedings of the International Conference on World Wide Web","author":"J. Bruijn de","year":"2005","unstructured":"de Bruijn, J., Lara, R., Polleres, A., Fensel, D.: OWL DL vs. OWL Flight: Con-ceptual Modeling and Reasoning for the Semantic Web. In: Proceedings of the International Conference on World Wide Web, pp. 623\u2013632. ACM Press, New York (2005)"},{"unstructured":"Antoniou, G., Damasio, C.V., Grosof, B., Horrocks, I., Kifer, M., Maluszynski, J., Pa-tel-Schneider, P.F.: Combining Rules and Ontologies. A Survey. In: Reasoning on the Web with Rules and Semantics, REWERSE Deliverables (2005)","key":"17_CR21"},{"key":"17_CR22","first-page":"141","volume-title":"Proc. of the Int. Conf. of Knowledge Representation and Reasoning","author":"T. Eiter","year":"2004","unstructured":"Eiter, T., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining Answer Set Programming with Description Logics for the Semantic Web. In: Proc. of the Int. Conf. of Knowledge Representation and Reasoning, pp. 141\u2013151. Morgan Kaufmann, San Francisco (2004)"},{"key":"17_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-540-30504-0_13","volume-title":"Rules and Rule Markup Languages for the Semantic Web","author":"K. Wang","year":"2004","unstructured":"Wang, K., Billington, D., Blee, J., Antoniou, G.: Combining Description Logic and Defeasible Logic for the Semantic Web. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol.\u00a03323, pp. 170\u2013181. Springer, Heidelberg (2004)"},{"key":"17_CR24","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1023\/A:1008687430626","volume":"10","author":"F.M. Donini","year":"1998","unstructured":"Donini, F.M., Lenzerini, M., Nardi, D., Schaerf, A.: AL-log: Integrating Data-log and Description Logics. Intelligent and Cooperative Information Systems\u00a010, 227\u2013252 (1998)","journal-title":"Intelligent and Cooperative Information Systems"},{"issue":"1-2","key":"17_CR25","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/S0004-3702(98)00048-4","volume":"104","author":"A.Y. Levy","year":"1998","unstructured":"Levy, A.Y., Rousset, M.: Combining Horn Rules and Description Logics in CARIN. Artificial Intelligence\u00a0104(1-2), 165\u2013209 (1998)","journal-title":"Artificial Intelligence"},{"key":"17_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/11552222_6","volume-title":"Principles and Practice of Semantic Web Reasoning","author":"R. Rosati","year":"2005","unstructured":"Rosati, R.: Semantic and Computational Advantages of the Safe Integration of On-tologies and Rules. In: Fages, F., Soliman, S. (eds.) PPSWR 2005. LNCS, vol.\u00a03703, pp. 50\u201364. Springer, Heidelberg (2005)"},{"key":"17_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-3-540-72982-2_12","volume-title":"Web Reasoning and Rule Systems","author":"J. Mei","year":"2007","unstructured":"Mei, J., Lin, Z., Boley, H.: ALC: An Integration of Description Logic and General Rules. In: Marchiori, M., Pan, J.Z., Marie, C.d.S. (eds.) RR 2007. LNCS, vol.\u00a04524, pp. 163\u2013177. Springer, Heidelberg (2007)"},{"unstructured":"Hoekstra, R., Breuker, J., Di Bello, M., Boer, A.: The LKIF Core ontology of basic legal concepts. In: Proc. Workshop on Legal Ontologies and Artificial Intelligence Techniques (LOAIT 2007) (2007)","key":"17_CR28"},{"unstructured":"Noy, N.F., McGuinness, D.L.: Ontology Development 101: A Guide to Creating Your First Ontology. Stanford Knowledge Systems Laboratory Technical Re-port KSL-01-05 (March 2001)","key":"17_CR29"}],"container-title":["Lecture Notes in Computer Science","Electronic Government and the Information Systems Perspective"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22961-9_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,1]],"date-time":"2021-12-01T02:22:09Z","timestamp":1638325329000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22961-9_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642229602","9783642229619"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22961-9_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}