{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,6,12]],"date-time":"2023-06-12T14:12:16Z","timestamp":1686579136942},"reference-count":60,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2008,7,1]],"date-time":"2008-07-01T00:00:00Z","timestamp":1214870400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Data & Knowledge Engineering"],"published-print":{"date-parts":[[2008,7]]},"DOI":"10.1016\/j.datak.2008.02.005","type":"journal-article","created":{"date-parts":[[2008,3,14]],"date-time":"2008-03-14T13:54:55Z","timestamp":1205502895000},"page":"116-146","source":"Crossref","is-referenced-by-count":21,"title":["Deploying defeasible logic rule bases for the semantic web"],"prefix":"10.1016","volume":"66","author":[{"given":"Efstratios","family":"Kontopoulos","sequence":"first","affiliation":[]},{"given":"Nick","family":"Bassiliades","sequence":"additional","affiliation":[]},{"given":"Grigoris","family":"Antoniou","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.datak.2008.02.005_bib1","unstructured":"Altova, SemanticWorks, Visual Semantic Web design tool for RDF and OWL. (last accessed: 20.11.2006)."},{"key":"10.1016\/j.datak.2008.02.005_bib2","series-title":"Proceedings of ACM Symposium on Applied Computing","first-page":"6","article-title":"Executable declarative business rules and their use in electronic commerce","author":"Antoniou","year":"2002"},{"key":"10.1016\/j.datak.2008.02.005_bib3","unstructured":"G. Antoniou, D. Billington, G. Governatori, M.J. Maher, A flexible framework for defeasible logics, in: Proceedings of the National Conference on Artificial Intelligence (AAAI \u201900), 2000, pp. 405\u2013410."},{"issue":"2","key":"10.1016\/j.datak.2008.02.005_bib4","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1145\/371316.371517","article-title":"Representation results for defeasible logic","volume":"2","author":"Antoniou","year":"2001","journal-title":"ACM Trans. Comput. Log."},{"issue":"6","key":"10.1016\/j.datak.2008.02.005_bib5","doi-asserted-by":"crossref","first-page":"703","DOI":"10.1017\/S1471068406002778","article-title":"Embedding defeasible logic into logic programming","volume":"6","author":"Antoniou","year":"2006","journal-title":"Theory Practice Logic Program."},{"issue":"1","key":"10.1016\/j.datak.2008.02.005_bib6","first-page":"45","article-title":"Defeasible logic versus logic programming without negation as failure","volume":"41","author":"Antoniou","year":"2000","journal-title":"J. Logic Program."},{"issue":"1","key":"10.1016\/j.datak.2008.02.005_bib7","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/j.knosys.2006.07.006","article-title":"DR-BROKERING: a semantic brokering system","volume":"20","author":"Antoniou","year":"2007","journal-title":"Knowledge-Based Syst."},{"key":"10.1016\/j.datak.2008.02.005_bib8","unstructured":"Ashri, R., Payne, T., Marvin, D., Surridge, M., Taylor, S. Towards a semantic web security infrastructure, in: Proceedings of Semantic Web Services 2004 Spring Symposium Series, Stanford University, Stanford California, 2004."},{"issue":"3","key":"10.1016\/j.datak.2008.02.005_bib9","first-page":"37","article-title":"WebODE in a Nutshell","volume":"24","author":"Arp\u0131\u00b4rez","year":"2003","journal-title":"AI Magazine"},{"key":"10.1016\/j.datak.2008.02.005_bib10","series-title":"Proc. 1st International Conference on Web Reasoning and Rule Systems (RR 2007)","first-page":"249","article-title":"Proof Explanation in the DR-DEVICE System","author":"Bassiliades","year":"2007"},{"issue":"1","key":"10.1016\/j.datak.2008.02.005_bib11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4018\/jswis.2006010101","article-title":"A defeasible logic reasoner for the semantic web","volume":"2","author":"Bassiliades","year":"2006","journal-title":"Int. J. Semantic Web Inform. Syst."},{"key":"10.1016\/j.datak.2008.02.005_bib12","series-title":"Proceedings of RuleML-2005","first-page":"172","article-title":"A visual environment for developing defeasible rule bases for the semantic web","author":"Bassiliades","year":"2005"},{"key":"10.1016\/j.datak.2008.02.005_bib13","first-page":"24","article-title":"R-DEVICE: an object-oriented knowledge base system for RDF metadata","volume":"vol. 2","author":"Bassiliades","year":"2006"},{"key":"10.1016\/j.datak.2008.02.005_bib14","unstructured":"S. Bechhofer, F. van Harmelen, J. Hendler, I. Horrocks, D.L. McGuinness, P.F. Patel-Schneider, L.A. Stein, OWL web ontology language reference. W3C Recommendation (10.2.2004)."},{"key":"10.1016\/j.datak.2008.02.005_bib15","unstructured":"A. Berglund, S. Boag, D. Chamberlin, M.F. Fernandez, M. Kay, J. Robie, J. Simeon, XML Path Language (XPath) 2.0. W3C Recommendation (23.1.2007)."},{"key":"10.1016\/j.datak.2008.02.005_bib16","unstructured":"T. Berners-Lee, N3 Primer: Getting into RDF & Semantic Web using N3. (last accessed: 19.12.2007)."},{"issue":"5","key":"10.1016\/j.datak.2008.02.005_bib17","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1038\/scientificamerican0501-34","article-title":"The semantic web","volume":"284","author":"Berners-Lee","year":"2001","journal-title":"Sci. Am."},{"key":"10.1016\/j.datak.2008.02.005_bib18","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/s10009-004-0155-8","article-title":"Tool integration at the meta-model level within the FUJABA tool suite","volume":"6","author":"Burmester","year":"2004","journal-title":"Int. J. Software Tools Technol. Transfer (STTT)"},{"key":"10.1016\/j.datak.2008.02.005_bib19","unstructured":"CLIPS Basic Programming Guide (v. 6.24). (last accessed: 27.4.2007)."},{"key":"10.1016\/j.datak.2008.02.005_bib20","first-page":"701","article-title":"ISWIVE: an integrated semantic web interactive visualization environment","volume":"vol. 2","author":"Chen","year":"2005"},{"key":"10.1016\/j.datak.2008.02.005_bib21","series-title":"Graph Drawing: Algorithms for the Visualization of Graphs","author":"di Battista","year":"1999"},{"issue":"4","key":"10.1016\/j.datak.2008.02.005_bib22","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/S1567-4223(03)00041-3","article-title":"Rule-based agents for the semantic web","volume":"2","author":"Dietrich","year":"2003","journal-title":"Electron. Commerce Res. Appl."},{"key":"10.1016\/j.datak.2008.02.005_bib23","unstructured":"T. Eiter, G. Ianni, R. Schindlauer, H. Tompits, dlvhex: a system for integrating multiple semantics in an answer-set programming framework, in: M. Fink, H. Tompits, S. Woltran (Eds.), Proceedings of 20th Workshop on Logic Programming and Constraint Systems (WLP \u201906), TU Wien, Inst. f. Informationssysteme, TR 1843-06-02, 2006, pp. 206\u2013210."},{"key":"10.1016\/j.datak.2008.02.005_bib24","series-title":"Ontology-based information visualization, Visualizing the Semantic Web","author":"Fluit","year":"2003"},{"issue":"2","key":"10.1016\/j.datak.2008.02.005_bib25","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/0166-218X(93)90045-P","article-title":"Directed hypergraphs and applications","volume":"42","author":"Gallo","year":"1993","journal-title":"Discrete Appl. Math."},{"key":"10.1016\/j.datak.2008.02.005_bib26","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1093\/logcom\/2.3.397","article-title":"Complexity results for nonmonotonic logics","volume":"2","author":"Gottlob","year":"1992","journal-title":"J. Logic Comput."},{"issue":"2\u20133","key":"10.1016\/j.datak.2008.02.005_bib27","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1142\/S0218843005001092","article-title":"Representing business contracts in RuleML","volume":"14","author":"Governatori","year":"2005","journal-title":"Int. J. Cooperat. Inform. Syst."},{"key":"10.1016\/j.datak.2008.02.005_bib28","series-title":"Proceedings of 8th International Conference of Artificial Intelligence and Law","first-page":"168","article-title":"A formal approach to protocols and strategies for (legal) negotiation","author":"Governatori","year":"2001"},{"issue":"5","key":"10.1016\/j.datak.2008.02.005_bib29","doi-asserted-by":"crossref","first-page":"675","DOI":"10.1093\/logcom\/14.5.675","article-title":"Argumentation semantics for defeasible logic","volume":"14","author":"Governatori","year":"2004","journal-title":"J. Logic Comput."},{"key":"10.1016\/j.datak.2008.02.005_bib30","unstructured":"B.N. Grosof, M.D. Gandhe, T.W. Finin, SweetJess: translating DAMLRuleML to JESS, in: Proceedings of the International Workshop on Rule Markup Languages for Business Rules on the Semantic Web. Held at 1st Int. Semantic Web Conference, 2002."},{"issue":"4","key":"10.1016\/j.datak.2008.02.005_bib31","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1080\/10864415.2004.11044305","article-title":"SweetDeal: representing agent contracts with exceptions using semantic web rules, ontologies, and process descriptions","volume":"8","author":"Grosof","year":"2004","journal-title":"Int. J. Electron. Commerce (IJEC)"},{"key":"10.1016\/j.datak.2008.02.005_bib32","series-title":"Proceedings of 13th Biennial Conference of the Canadian Society on Computational Studies of Intelligence: Advances in Artificial Intelligence","first-page":"214","article-title":"CViz: an interactive visualization system for rule induction","author":"Han","year":"2000"},{"key":"10.1016\/j.datak.2008.02.005_bib33","series-title":"Graph Theory","author":"Harary","year":"1994"},{"key":"10.1016\/j.datak.2008.02.005_bib34","series-title":"Semantic Web Technologies: Trends and Research in Ontology-based Systems","first-page":"71","article-title":"Reasoning with inconsistent ontologies: framework, prototype, and experiment","author":"Huang","year":"2006"},{"key":"10.1016\/j.datak.2008.02.005_bib35","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/0004-3702(91)90011-8","article-title":"Hard problems for simple default theories","volume":"28","author":"Kautz","year":"1991","journal-title":"Artificial Intelligence"},{"key":"10.1016\/j.datak.2008.02.005_bib36","series-title":"Proceedings of 1st Asian Semantic Web Conference (ASWC\u201906)","first-page":"278","article-title":"Visualizing defeasible logic rules for the semantic web","author":"Kontopoulos","year":"2006"},{"key":"10.1016\/j.datak.2008.02.005_bib37","unstructured":"E. Kontopoulos, K. Kravari, N. Bassiliades, Object-oriented modelling of RDF schema ontologies, in: Proceedings of 11th Pan-Hellenic Conference on Informatics (PCI 2007), Patras, Greece, 18\u201320 May 2007, pp. 479\u2013489."},{"key":"10.1016\/j.datak.2008.02.005_bib38","unstructured":"M.J. Maher, A model-theoretic semantics for defeasible logic, in: Proceedings of Workshop on Paraconsistent Computational Logic, 2002, pp. 67\u201380."},{"issue":"6","key":"10.1016\/j.datak.2008.02.005_bib39","doi-asserted-by":"crossref","first-page":"691","DOI":"10.1017\/S1471068401001168","article-title":"Propositional defeasible logic has linear complexity","volume":"1","author":"Maher","year":"2001","journal-title":"Theory Practice Logic Program."},{"key":"10.1016\/j.datak.2008.02.005_bib40","unstructured":"M.J. Maher, G. Governatori, A semantic decomposition of defeasible logics, in: Proceeding of AAAI\u201999, 1999, pp. 299\u2013305."},{"issue":"4","key":"10.1016\/j.datak.2008.02.005_bib41","doi-asserted-by":"crossref","first-page":"483","DOI":"10.1142\/S0218213001000623","article-title":"Efficient defeasible reasoning systems","volume":"10","author":"Maher","year":"2001","journal-title":"Int. J. Tools Artificial Intelligence"},{"key":"10.1016\/j.datak.2008.02.005_bib42","doi-asserted-by":"crossref","unstructured":"C. Matheus, M. Kokar, K. Baclawski, J. Letkowski, An application of semantic web technologies to situation awareness, in: Proceedings of 4th International Semantic Web Conference (ISWC 2005), Galway, Ireland, 2005.","DOI":"10.1007\/11574620_67"},{"key":"10.1016\/j.datak.2008.02.005_bib43","unstructured":"McBride, B. Jena: implementing the RDF model and syntax specification, in: Proceedings of 2nd International Workshop on the Semantic Web, 2001."},{"key":"10.1016\/j.datak.2008.02.005_bib44","series-title":"Proceedings of 20th International Conference on Systems Science","first-page":"470","article-title":"Defeasible Reasoning","author":"Nute","year":"1987"},{"issue":"3","key":"10.1016\/j.datak.2008.02.005_bib45","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/S0167-9236(97)00063-8","article-title":"Defeasible logic graphs: I. Theory","volume":"22","author":"Nute","year":"1998","journal-title":"Decision Support Syst."},{"issue":"3","key":"10.1016\/j.datak.2008.02.005_bib46","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/S0167-9236(97)00064-X","article-title":"Defeasible logic graphs: II. Implementation","volume":"22","author":"Nute","year":"1998","journal-title":"Decision Support Syst."},{"key":"10.1016\/j.datak.2008.02.005_bib47","doi-asserted-by":"crossref","unstructured":"M.J. O\u2019Connor, H. Knublauch, S.W. Tu, B. Grossof, M. Dean, W.E. Grosso, M.A. Musen, Supporting rule system interoperability on the semantic web with SWRL, in: Proceedings of 4th International Semantic Web Conference (ISWC), Galway, Ireland, 2005.","DOI":"10.1007\/11574620_69"},{"issue":"2","key":"10.1016\/j.datak.2008.02.005_bib48","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1080\/09528139208953745","article-title":"Temporal, spatial, and constraint handling in the conceptual programming environment, CP","volume":"4","author":"Pfeiffer","year":"1992","journal-title":"J. Exp. Theor. AI"},{"key":"10.1016\/j.datak.2008.02.005_bib49","unstructured":"E. Pietriga, IsaViz: A Visual Authoring Tool for RDF. (last accessed: 20.11.2006)."},{"key":"10.1016\/j.datak.2008.02.005_bib50","unstructured":"Prot\u00e9g\u00e9 Ontology Editor and Knowledge Acquisition System. (last accessed: 4.12.2006)."},{"key":"10.1016\/j.datak.2008.02.005_bib51","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","article-title":"A logic for default reasoning","volume":"13","author":"Reiter","year":"1980","journal-title":"Artificial Intelligence J."},{"issue":"6","key":"10.1016\/j.datak.2008.02.005_bib52","doi-asserted-by":"crossref","first-page":"839","DOI":"10.1016\/0020-7373(91)90013-W","article-title":"CABARET: rule interpretation in a hybrid architecture","volume":"34","author":"Rissland","year":"1991","journal-title":"Int. J. Man\u2013Mach. Stud."},{"key":"10.1016\/j.datak.2008.02.005_bib53","series-title":"Proceedings of 4th International Conference on Artificial Intelligence and Law (ICAIL\u201993)","first-page":"100","article-title":"The use of meta-rules in rule based legal computer systems","author":"Schild","year":"1993"},{"key":"10.1016\/j.datak.2008.02.005_bib54","unstructured":"M. Sintek, A. Lauer, The FRODO RDFSViz Tool. (last accessed: 20.11.2006)."},{"key":"10.1016\/j.datak.2008.02.005_bib55","doi-asserted-by":"crossref","first-page":"362","DOI":"10.1016\/j.datak.2007.03.004","article-title":"DR-NEGOTIATE \u2013 a system for automated agent negotiation with defeasible logic-based strategies","volume":"63","author":"Skylogiannis","year":"2007","journal-title":"Data Knowledge Eng."},{"key":"10.1016\/j.datak.2008.02.005_bib56","doi-asserted-by":"crossref","unstructured":"S. Stephens, The enterprise semantic web: technologies and applications for the real world, in: J. Cardoso, M. Hepp, M. Lytras (Eds.), The Semantic Web: Real-World Applications from Industry, Semantic Web and Beyond Computing for Human Experience, vol. 6, Springer, 2007, pp. 17\u201337. ISBN 978-0-387-48531-7.","DOI":"10.1007\/978-0-387-48531-7_2"},{"issue":"4","key":"10.1016\/j.datak.2008.02.005_bib57","doi-asserted-by":"crossref","first-page":"1368","DOI":"10.1093\/ietisy\/e89-d.4.1368","article-title":"A graphical RDF-based meta-model management tool","volume":"E89-D","author":"Takeshi","year":"2006","journal-title":"IEICE Trans. Inform. Syst."},{"key":"10.1016\/j.datak.2008.02.005_bib58","series-title":"Handbook of Discrete and Computational Geometry","first-page":"815","article-title":"Graph drawing","author":"Tamassia","year":"1997"},{"key":"10.1016\/j.datak.2008.02.005_bib59","volume":"col. 1","author":"Ullman","year":"1988"},{"key":"10.1016\/j.datak.2008.02.005_bib60","series-title":"Proceedings of 1st Workshop on Semantic Web Reasoning","first-page":"33","article-title":"Web rules need two kinds of negation","author":"Wagner","year":"2003"}],"container-title":["Data & Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0169023X08000220?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0169023X08000220?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,5,9]],"date-time":"2019-05-09T03:56:54Z","timestamp":1557374214000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0169023X08000220"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7]]},"references-count":60,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2008,7]]}},"alternative-id":["S0169023X08000220"],"URL":"https:\/\/doi.org\/10.1016\/j.datak.2008.02.005","relation":{},"ISSN":["0169-023X"],"issn-type":[{"value":"0169-023X","type":"print"}],"subject":[],"published":{"date-parts":[[2008,7]]}}}