{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:58:56Z","timestamp":1742389136636},"reference-count":32,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[2004,10,1]],"date-time":"2004-10-01T00:00:00Z","timestamp":1096588800000},"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":["Journal of Web Semantics"],"published-print":{"date-parts":[[2004,10]]},"DOI":"10.1016\/j.websem.2004.06.002","type":"journal-article","created":{"date-parts":[[2004,8,13]],"date-time":"2004-08-13T15:38:03Z","timestamp":1092411483000},"page":"397-413","source":"Crossref","is-referenced-by-count":70,"title":["Explaining answers from the Semantic Web: the Inference Web approach"],"prefix":"10.1016","volume":"1","author":[{"given":"Deborah L.","family":"McGuinness","sequence":"first","affiliation":[]},{"given":"Paulo","family":"Pinheiro da Silva","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.websem.2004.06.002_bib1","series-title":"Proceedings of the 14th European Conference on Artificial Intelligence (ECAI2000)","first-page":"209","article-title":"Explaining ACL subsumption","author":"Borgida","year":"2000"},{"key":"10.1016\/j.websem.2004.06.002_bib2","series-title":"Proceedings of the International Workshop on Description Logics (DL\u201999)","first-page":"33","article-title":"Explaining ALC subsumption","author":"Borgida","year":"1999"},{"key":"10.1016\/j.websem.2004.06.002_bib3","series-title":"Proceedings of Fifth International Conference on the Principles of Knowledge Representation and Reasoning","article-title":"Asking queries about frames","author":"Borgida","year":"1996"},{"issue":"2","key":"10.1016\/j.websem.2004.06.002_bib4","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0898-1221(94)00215-7","article-title":"The Boyer-Moore theorem prover and its interactive enhancements","volume":"29","author":"Boyer","year":"1995","journal-title":"Computers Math. Appl."},{"key":"10.1016\/j.websem.2004.06.002_bib5","series-title":"Proceedings of 8th International Conference on Database Theory","first-page":"316","article-title":"Why and where: a characterization of data provenance","author":"Buneman","year":"2001"},{"key":"10.1016\/j.websem.2004.06.002_bib6","series-title":"Proceedings of the 14th Innovative Applications of Artificial Intelligence Conference (IAAI-02)","first-page":"870","article-title":"Why not: debugging failed queries in large knowledge bases","author":"Chalupsky","year":"2002"},{"key":"10.1016\/j.websem.2004.06.002_bib7","series-title":"The Emerging Semantic Web","article-title":"Industrial strength ontology management","author":"Das","year":"2002"},{"key":"10.1016\/j.websem.2004.06.002_bib8","unstructured":"A. Felty, D. Miller, Proof Explanation and Revision, Technical Report MSCIS8817, University of Pennsylvania, 1987."},{"key":"10.1016\/j.websem.2004.06.002_bib9","doi-asserted-by":"crossref","unstructured":"D. Ferrucci, A. Lally, UIMA: an architectural approach to unstructured information processing in the corporate research environment, J. Nat. Language Eng. (2004), in press.","DOI":"10.1017\/S1351324904003523"},{"key":"10.1016\/j.websem.2004.06.002_bib10","unstructured":"R. Fikes, P. Hayes, I. Horrocks, DAML Query Language (DQL) Abstract Specification, Technical report, W3C, 2002."},{"key":"10.1016\/j.websem.2004.06.002_bib11","unstructured":"R. Fikes, D.L. McGuinness, An Axiomatic Semantics for RDF, RDF-S, and DAML + OIL (March 2001), Technical Report Note 18, W3C, December 2001."},{"key":"10.1016\/j.websem.2004.06.002_bib12","doi-asserted-by":"crossref","unstructured":"F. Giunchiglia, P. Shvaiko, Semantic matching, Technical Report, vol. 71, CEUR, WS, 2003.","DOI":"10.1017\/S0269888904000074"},{"key":"10.1016\/j.websem.2004.06.002_bib13","series-title":"Proceedings of the 12th International World Wide Web Conference (WWW2003)","first-page":"700","article-title":"Semantic search","author":"Guha","year":"2003"},{"key":"10.1016\/j.websem.2004.06.002_bib14","series-title":"Proceedings of CADE-94, LNAI-814","first-page":"738","article-title":"Reconstructing proofs at the assertion level","author":"Huang","year":"1994"},{"key":"10.1016\/j.websem.2004.06.002_bib15","unstructured":"E.F. Kendall, M.E. Dutra, D.L. McGuinness, Towards a commercial ontology development environment, in: International Semantic Web Conference Late Breaking Topics, Sadinia, Italy, 9\u201312 June 2002."},{"key":"10.1016\/j.websem.2004.06.002_bib16","unstructured":"D.L. McGuinness, Explaining Reasoning in Description Logics, PhD thesis, Rutgers University, 1996."},{"key":"10.1016\/j.websem.2004.06.002_bib17","series-title":"Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential","first-page":"171","article-title":"Ontologies come of age","author":"McGuinness","year":"2003"},{"key":"10.1016\/j.websem.2004.06.002_bib18","series-title":"Proceedings of the 14th International Joint Conference on Artificial Intelligence","first-page":"816","article-title":"Explaining subsumption in description logics","author":"McGuinness","year":"1995"},{"key":"10.1016\/j.websem.2004.06.002_bib19","series-title":"The Description Logic Handbook: Theory, Implementation, and Applications","first-page":"265","article-title":"From description logic provers to knowledge representation systems","author":"McGuinness","year":"2003"},{"key":"10.1016\/j.websem.2004.06.002_bib20","unstructured":"D.L. McGuinness, P.P. da Silva, Trusting answers on the web, in: M.T. Maybury (Ed.), New Directions in Question Answering, AAAI\/MIT Press, in press."},{"key":"10.1016\/j.websem.2004.06.002_bib21","series-title":"Proceedings of 2nd International Semantic Web Conference (ISWC2003), LNCS-2870","first-page":"113","article-title":"Infrastructure for web explanations","author":"McGuinness","year":"2003"},{"key":"10.1016\/j.websem.2004.06.002_bib22","series-title":"Proceedings of IJCAI-2003 Workshop on Information Integration on the Web (IIWeb-03)","first-page":"117","article-title":"Registry-based support for information integration","author":"McGuinness","year":"2003"},{"key":"10.1016\/j.websem.2004.06.002_bib23","series-title":"Proceedings of the 2004 International Workshop on Description Logics, vol. 104","article-title":"Towards explaining semantic matching","author":"McGuinness","year":"2004"},{"key":"10.1016\/j.websem.2004.06.002_bib24","unstructured":"D.L. McGuinness, F. van Harmelen, OWL Web Ontology Language Overview, Technical report, World Wide Web Consortium (W3C), 10 February 2004 (Recommendation)."},{"issue":"4","key":"10.1016\/j.websem.2004.06.002_bib25","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1109\/5254.708435","article-title":"An industrial strength description logic-based configurator platform","volume":"13","author":"McGuinness","year":"1998","journal-title":"IEEE Intell. Syst."},{"key":"10.1016\/j.websem.2004.06.002_bib26","unstructured":"P.P. da Silva, P. Hayes, D.L. McGuinness, R. Fikes, PPDR: A Proof Protocol for Deductive Reasoning, Technical Report KSL-04-04, Knowledge Systems Laboratory, Stanford University, Stanford, CA, USA, March 2004."},{"key":"10.1016\/j.websem.2004.06.002_bib27","unstructured":"P.P. da Silva, D.L. McGuinness, R. Fikes, A Proof Markup Language for Semantic Web Services, Technical Report KSL-04-01, Knowledge Systems Laboratory, Stanford University, Stanford, CA, USA, January 2004."},{"issue":"2","key":"10.1016\/j.websem.2004.06.002_bib28","first-page":"179","article-title":"Knowledge provenance infrastructure","volume":"25","author":"da Silva","year":"2003","journal-title":"IEEE Data Eng. Bull."},{"key":"10.1016\/j.websem.2004.06.002_bib29","series-title":"Computer-Based Medical Consultations: MYCIN","author":"Shortliffe","year":"1976"},{"key":"10.1016\/j.websem.2004.06.002_bib30","doi-asserted-by":"crossref","unstructured":"P. Shvaiko, F. Giunchiglia, P.P. da Silva, D.L. McGuinness, Web Explanations for Semantic Heterogeneity Discovery, Technical Report KSL-04-02, Knowledge Systems Laboratory, Stanford University, Stanford, CA, January 2004.","DOI":"10.1007\/11431053_21"},{"key":"10.1016\/j.websem.2004.06.002_bib31","unstructured":"M. Smith, D.L. McGuinness, R. Volz, C. Welty, Web Ontology Language (OWL) Guide Version 1.0, Technical Report Working Draft, World Wide Web Committee (W3C), 2003."},{"key":"10.1016\/j.websem.2004.06.002_bib32","doi-asserted-by":"crossref","unstructured":"W. Swartout, C. Paris, J. Moore, Explanations in knowledge systems: design for explainable expert systems, IEEE Intell. Syst. (June) (1991).","DOI":"10.1109\/64.87686"}],"container-title":["Journal of Web Semantics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1570826804000083?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1570826804000083?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,4,29]],"date-time":"2023-04-29T05:30:41Z","timestamp":1682746241000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1570826804000083"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,10]]},"references-count":32,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2004,10]]}},"alternative-id":["S1570826804000083"],"URL":"https:\/\/doi.org\/10.1016\/j.websem.2004.06.002","relation":{},"ISSN":["1570-8268"],"issn-type":[{"value":"1570-8268","type":"print"}],"subject":[],"published":{"date-parts":[[2004,10]]}}}