Generic placeholder image

Recent Advances in Computer Science and Communications

Author(s): Michael DeBellis* and Robert Neches

DOI: 10.2174/2666255815666220527145610

DownloadDownload PDF Flyer Cite As
Knowledge Representation and The Semantic Web: An Historical Overview of Influences on Emerging Tools

Article ID: e270522205358 Pages: 15

  • * (Excluding Mailing and Handling)

Abstract

A suite of standards known as the Semantic Web is transforming the Internet into a semantic graph rather than a graph of hypertext links. This paper will describe how various ideas and initiatives in artificial intelligence knowledge representation influenced its design. We begin with the seminal work by Alan Turing and Alonzo Church that led to the definition of Turing Machines, enabled digital computing, and provided the mathematical theory of computation, which has been one of the determining factors for Artificial Intelligence knowledge representation. We then provide a brief history of artificial intelligence knowledge representation, starting with groundbreaking researchers, such as Newell and Simon, then to the first "AI boom" driven primarily by rule-based expert systems, followed by major initiatives such as Cyc and the DARPA Knowledge Sharing Initiative. We will discuss how innovations from these initiatives affected standards that, in turn, led to the suite of standards known as the Semantic Web. We conclude with a brief overview of the most important issues currently facing those who wish to see widespread adoption of Semantic Web technology in the industry.

Keywords: Knowledge Representation, Semantic Web, Web Ontology Language, OWL, SPARQL, SHACL, SWRL, RDF/RDFS

Graphical Abstract

[1]
T. Berners-Lee, J. Hendler, and O. Lassila, "The Semantic Web: A new form of Web content that is meaningful to computers will unleash a revolution of new possibilities", Sci. Am., vol. 284, no. 5, pp. 24-30, 2001.
[http://dx.doi.org/10.1038/scientificamerican0501-34]
[2]
J. Hendler, and D.L. McGuinness, "The DARPA agent markup ontology language", IEEE Intell. Syst., vol. 15, no. 6, pp. 67-73, 2000.
[3]
A.M. Turing, "On computable numbers, with an application to the entscheidungs problem", Proceedings of the London Mathematical Society, Series 2, vol. 42, pp. 230-265, 2004.
[4]
A. Church, "An unsolvable problem of elementary number theory", Am. J. Math., vol. 58, pp. 345-363, 1936.
[http://dx.doi.org/10.2307/2371045]
[5]
J. McCarthy, "LISP prehistory - Summer 1956 through Summer 1958", In: History of Lisp., 1979.
[6]
S. Russell, and P. Norvig, Artificial Intelligence: A Modern Approach., 3rd ed Prentice Hall Series in Artificial Intelligence, 2010, p. 274.
[7]
H. Levesque, and R. Brachman, "A fundamental tradeoff: knowledge representation and reasoning", In: R. Brachman, and H.J. Levesque, Eds., Readings in Knowledge Representation., Morgan Kaufmann, 1985.
[8]
A.N. Whitehead, and B. Russell, Principia Mathematica., Cambridge University Press, Cambridge, 1912.
[9]
A. Newell, J. Shaw, and H. Simon, "Empirical explorations with the logic theory machine", Proceedings of the West Joint Computer Conferene, 1957, pp. 218-239.
[http://dx.doi.org/10.1145/1455567.1455605]
[10]
A. Newell, J.C. Shaw, and H.A. Simon, "Report on a general problem-solving program", Proceedings of the International Conference on Information Processing, 1959, pp. 256-264.
[11]
F. Hayes-Roth, D.A. Waterman, and D.B. Lenat, Building Expert Systems., Addison-Wesley, 1983.
[12]
H.A. Simon, and E.A. Feigenbaum, "An information-processing theory of some effects of similarity, familiarization, and meaningfulness in verbal learning", J. Verbal Learn. Verbal Behav., vol. 3, no. 5, pp. 385-396, 1964.
[http://dx.doi.org/10.1016/S0022-5371(64)80007-4]
[13]
D.T. Connors, "Software development methodologies and traditional and modern information systems", Softw. Eng. Notes, vol. 17, no. 2, pp. 43-49, 1992.
[http://dx.doi.org/10.1145/130840.130843]
[14]
B.W. Boehm, "A spiral model of software development and enhancement", Computer, vol. 21, no. 5, pp. 61-72, 1988.
[http://dx.doi.org/10.1109/2.59]
[15]
K. Beck, and C. Andres, Extreme Programming Explained., Addison-Wesley Professional, 2004.
[16]
B. Dickson, "What is the AI Winter?", Available from: https://bdtechtalks.com/2018/11/12/artificial-intelligence-winter-history/ [Acessed May 17, 2022].
[17]
S.A.P. Help Portal, "SAP rule engine", Available from: https://help.sap.com/viewer/9d346683b0084da2938be8a285c0c27a/2011/en-US/e30ec2e429e84d22b9045b84c366ab76.html [Acessed May 17, 2022].
[18]
O. Docs, "About Seibel Business Rules Benefits", Available from: https://docs.oracle.com/cd/B40099_02/books/BusRulesAdm/BusRulesAdm_About2.html [Acessed May 17, 2022].
[19]
Tibco White Paper, "Event processing with inference rules", Available from: https://www.tibco.com/sites/tibco/files/resources/ wp-event-processing-inference-rules_0.pdf [Acessed May 17, 2022].
[20]
IBM Operational Decision Manager documentation, "Business rule applications based on COBOL for z/OS platforms", Available from: https://www.ibm.com/docs/en/odm/8.0.1?topic=development-business-rule-applications-based-cobol-zos-platforms [Acessed May 17, 2022].
[21]
E. Friedman-Hill, Jess in Action., Manning Publications Company, 2003.
[22]
"Europe’s SAP buys 14% stake in IntelliCorp", Available from: https://www.sfgate.com/business/article/Europe-s-SAP-Buys-14-Stake-In-IntelliCorp-2970378.php [Acessed May 17, 2022].
[23]
M.R. Quillian, "Semantic memory", Report AFCRL-66-189, Bolt, Beranek, and Newman, 1966.
[http://dx.doi.org/10.21236/AD0641671]
[24]
D.E. Rumelhart, P.H. Lindsay, and D.A. Norman, A process model for long-term memory. Organization of Memory., Academic Press: New York, 1972.
[25]
D.E. Rumelhart, and D.A. Norman, "Active semantic networks as a model of human memory", Proceedings of the Third International Joint Conference on Artificial Intelligence, Stanford, CA, 1973, pp. 450-457.
[26]
R. Brachman, "On the epistemological status of semantic networks", In: R. Brachman, and H.J. Levesque, Eds., Readings in Knowledge Representation., Morgan Kaufmann, 1985.
[27]
D.A. Norman, and D.E. Rumelhart, Explorations in Cognition., Freeman: San Francisco, 1975.
[28]
D.E. Rumelhart, and D.A. Norman, "Analogical processes in learning", In: J.R. Anderson, Ed., Cognitive Skills and Their Acquisition., Erlbaum: Hillsdale, NJ, 1981.
[29]
R.C. Schank, and R.P. Abelson, Scripts, Plans, Goals, and Understanding., Psychology Press, 2013.
[http://dx.doi.org/10.4324/9780203781036]
[30]
L. Bass, and R. Kazman, "Object-oriented development at Brooklyn Union Gas", IEEE Software Vol., vol. 10, no. 1, pp. 67-74, 1993.
[http://dx.doi.org/10.1109/52.207230]
[31]
J-P. Laurent, J. Ayel, F. Thome, and D. Ziebelin, "Comparative evaluation of three expert system development tools: Kee, knowledge craft, art", Knowl. Eng. Rev., vol. 1, no. 4, pp. 18-29, 1984.
[http://dx.doi.org/10.1017/S0269888900000631]
[32]
M. Stefik, and D.G. Bobrow, "Object-oriented programming: Themes and Variations", AI Mag., vol. 6, no. 4, pp. 40-62, 1986.
[33]
D. Kafura, "Object-Oriented Programming and Software Engineering", Available from: https://people.cs.vt.edu/kafura/ cs2704/oop.swe.html [Acessed May 17, 2022].
[34]
B. Meyer, Object-Oriented Software Construction., Prentice Hall, 1997.
[35]
D. Terletskyi, "Inheritance in object-oriented knowledge representation", Commun. Comput. Inf. Sci., pp. 293-305, 2015.
[http://dx.doi.org/10.1007/978-3-319-24770-0_26]
[36]
H.A. Simon and A. Herbert, The Sciences of the Artificial., 3rd ed MIT Press: Cambridge, MA, 1996.
[37]
E.H. Rosch, "Natural categories", Cognit. Psychol., vol. 4, no. 3, pp. 328-350, 1973.
[http://dx.doi.org/10.1016/0010-0285(73)90017-0]
[38]
G. Lakoff, Women, Fire, and Dangerous Things., University of Chicago Press, 2008.
[39]
J.E. Hopcroft, R. Motwani, and J.D. Ullman, Introduction to Automata Theory, Languages, and Computation., Addison-Wesley, 2007.
[40]
Noam Chomsky, The Minimalist Program, 20th Anniversary ed; The MIT Press, 2014.
[http://dx.doi.org/10.7551/mitpress/9780262527347.001.0001]
[41]
M. Eisenstadt, "Schank/Riesbeck vs. Norman/Rumelhart: What’s the Difference?", 17th Annual Meeting of the Association for Computational Linguistics, 1979, pp. 15-16.
[http://dx.doi.org/10.3115/982163.982168]
[42]
F. Baader, D. Calvanese, D. McGuinness, P. Patel-Schneider, and D. Nardi, The Description Logic Handbook., Cambridge University Press, Cambridge, 2003.
[43]
J. Sowa, "Fads and fantasies about logic", IEEE Intell. Syst., vol. 22, no. 2, pp. 84-87, 2007.
[http://dx.doi.org/10.1109/MIS.2007.29]
[44]
R. Fikes, and T. Garvey, "Term subsumption languages in knowledge representation", AI Mag., vol. 11, no. 2, p. 16, 1990.
[45]
Franz Inc, "SPARQL execution warnings", Available from: https://franz.com/agraph/support/documentation/current/sparql-reference.html#query-warnings [Acessed May 17, 2022].
[46]
W3C Recommendation, OWL 2 Web Ontology Language Profiles (Second Edition). Available from: https://www.w3.org/TR/2012/ REC-owl2-profiles-20121211/ [Acessed May 17, 2022].
[47]
J.F. Allen, and D.J. Litman, Discourse Processing and Common sense Plans. Intentions and Communication., MIT Press, 1990.
[48]
G. Fischer, "Symbiotic, Knowledge-Based Computer Support Systems", Proceedings of the Conference on Analysis, Design and Evaluation of Man-Machine Systems, 1982, pp. 351-358.
[49]
R. Neches, W.R. Swartout, and J.D. Moore, "Explainable (and Maintainable) Expert Systems", In Proceedings of the Ninth International Joint Conference on Artificial Intelligence, vol. 85, pp. 382-389, 1985.
[50]
T.W. Malone, K.R. Grant, K.Y. Lai, R. Rao, and D.A. Rosenblitt, "Semi-structured messages are surprisingly useful for computer-supported coordination", Proceedings of the Conference on Computer-Supported Cooperative Work Austin, Texas ACM Trans. Inf. Syst., vol. 5, no. 2, pp. 115-131, 1987.
[http://dx.doi.org/10.1145/637069.637081]
[51]
B. Harp, and R. Neches, "Model formality in human/computer collaboration", AAAI '93 Fall Symposium Series Workshop on Human-Computer Collaboration: Reconciling Theory, Synthesizing Practice, 1994.
[52]
J. Yen, R. Neches, M. DeBellis, P. Szekely, and P. Aberg, "BACKBORD: An implementation of specification by reformulation", In: J.W. Sullivan, and S.W. Tyler, Eds., Intelligent User Interfaces., Addison-Wesley ACM Press: New York, 1991, pp. 421-444.
[53]
S. Higginbotham, "Final bell ringing for MCC", Available from: https://www.bizjournals.com/austin/stories/2004/11/01/story3.html [Acessed May 17, 2022].
[54]
D.B. Lenat, R.V. Guha, K. Pittman, D. Pratt, and M. Shepherd, "Cyc: Toward programs with common sense", Commun. ACM, vol. 33, no. 8, pp. 30-49, 1990.
[http://dx.doi.org/10.1145/79173.79176]
[55]
R. Neches, R. Fikes, T. Finin, T. Gruber, R. Patil, T. Senator, and W. Swartout, "Enabling technology for knowledge sharing", AI Mag., vol. 12, no. 3, pp. 36-56, 1991.
[56]
R. Neches, "Review of D.B. Lenat and R. Guha, Building large knowledge-based systems: Representation and inference in the Cyc project", J. of Artif. Intell., vol. 61, pp. 65-79, 1993.
[http://dx.doi.org/10.1016/0004-3702(93)90094-R]
[57]
R.M. MacGregor, "A description classifier for the predicate calculus", Proceedings of the Twelfth National Conference on Artificial Intelligence, (AAAI 94), 1994, pp. 213-220.
[58]
R.M. MacGregor, "Retrospective on Loom", Available from: https://www.isi.edu/isd/LOOM/papers/macgregor/Loom_Retrospective.html
[59]
M. Genesereth, and R. Fikes, "Knowledge Interchange Format", In: Version 3.0 Reference Manual; Technical Report Logic-92-1., Computer Science Department, Stanford University: Stanford, CA, 1992.
[60]
T.R. Gruber, Proceedings of the Second International Conference, 1991, pp. 601-602. Cambridge, MA.
[61]
T. Finin, R. Fritzson, D. McKay, and R. McEntire, "KQML as an agent communication language", Proceedings of the Third International Conference on Information and Knowledge Management - CIKM '94, 1994, p. 456.
[http://dx.doi.org/10.1145/191246.191322]
[62]
Schema.org, Available from: https://schema.org/ [Acessed May 17, 2022].
[63]
K. Yao, I. Ko, R. Neches, and R. MacGregor, "Semantic interoperability scripting and measurements", In Proceedings of the Working Conference on Complex and Dynamic Systems Architecture, Brisbane, Australia, 2001, pp. 12-14 .
[64]
M. Frank, P. Szekely, R. Neches, B. Yan, and J. Lopez, "WebScripter: World-wide grass-roots ontology translation via implicit end-user alignment", In Proceedings of the WWW-2002 Semantic Web Workshop, Honolulu, Hawaii, 2002, pp. 1-7 .
[65]
B. Yan, M. Frank, P. Szekely, R. Neches, and J. Lopez, "WebScripter: Grass-roots ontology alignment via end-user report creation", In 2nd International Semantic Web Conference (ISWC2003), Sanibel Island, Florida, 2003, pp. 676-689
. [http://dx.doi.org/10.1007/978-3-540-39718-2_43]
[66]
R. Neches, and G. Arango, Design Capture, Information Technology Issues. Concurrent Design and Engineering., Academic Press, 1993.
[67]
C. Balzer, T. Cheatham, and C. Rich, "Report on a knowledge-based software assistant", Kestrel Institute, 1983, p. A996431.
[68]
G. Wiederhold, "Future needs in integration of information", Int. J. Coop. Inf. Syst., vol. 9, no. 4, pp. 449-472, 2000.
[http://dx.doi.org/10.1142/S0218843000000211]
[69]
G. Wiederhold, and M. Genesereth, "The conceptual basis for mediation services", IEEE Expert, vol. 12, no. 5, pp. 38-47, 1997.
[http://dx.doi.org/10.1109/64.621227]
[70]
G. Wiederhold, "Mediators in the architecture of future information systems", Computer, vol. 25, no. 3, pp. 38-49, 1992.
[http://dx.doi.org/10.1109/2.121508]
[71]
J.C. Dos Reis, C. Pruski, M. Da Silveira, and C. Reynaud-Delaître, "DyKOSMap: A framework for mapping adaptation between biomedical knowledge organization systems", J. Biomed. Inform., vol. 55, pp. 153-173, 2015.
[http://dx.doi.org/10.1016/j.jbi.2015.04.001]
[72]
B. Yan, Enabling Laymen to Contribute Content to the Semantic Web: A Bottom-up Approach to Creating and Aligning Diversely Structured Data.Ph.D. Dissertation, University of Southern California, Department of Computer Science, 2006.
[73]
T. Hahmann, and R.W. Powell II, Automatically extracting OWL versions of FOL ontologies. The Semantic Web – ISWC 2021., vol. 12922. Springer: Cham, 2021. Lecture Notes in Computer Science.
[http://dx.doi.org/10.1007/978-3-030-88361-4_15]
[74]
J. Portisch, M. Hladik, and H. Paulheim, Background Knowledge in Schema Matching: Strategy vs. Data. The Semantic Web – ISWC 2021. ISWC 2021., vol. 12922. Springer: Cham, 2021. Lecture Notes in Computer Science
[http://dx.doi.org/10.1007/978-3-030-88361-4_17]
[75]
W3C, "Extensible Markup Language (XML) 1.0 (Fifth Edition)", W3C Recommendation, 2008. Available from: https://www.w3.org/TR/REC-xml/ [Acessed May 17, 2022].
[76]
B. Hammersley, Content Syndication with RSS., O'Reilly: Sebastopol, 2003.
[77]
B. DuCharme, Learning SPARQL., Oreilly & Associates Incorporated, 2013.
[78]
M.A. Musen, "The protégé project: A look back and a look forward", AI Matters, vol. 1, no. 4, pp. 4-12, 2015.
[http://dx.doi.org/10.1145/2757001.2757003] [PMID: 27239556]
[79]
Stanford University, "Protégé WebSite", Available from: https://protege.stanford.edu/
[80]
M. Uschold, Demystifying OWL for the Enterprise. Morgan & Claypool Publishers, 2018.
[http://dx.doi.org/10.2200/S00824ED1V01Y201801WBE017]
[81]
M. DeBellis, "A Practical Guide to Building OWL Ontologies Using Protégé 5.5 and Plugins Edition 3.2", Available from: https://www.michaeldebellis.com/post/new-protege-pizza-tutorial [Acessed May 17, 2022].
[82]
M. Figuera, P.D. Rohde, and M. Vidal, "Trav-SHACL: Efficiently validating networks of SHACL constraints", Proceedings of the Web Conference, 2021, pp. 3337-3348.
[http://dx.doi.org/10.1145/3442381.3449877]
[83]
A. Singhal, "Introducing the Knowledge Graph: Things, not strings", Available from: https://www.blog.google/products/search/introducing-knowledge-graph-things-not/ [Acessed May 17, 2022].
[84]
N. Noy, Y. Gao, A. Jain, A. Narayanan, A. Patterson, and J. Taylor, "Industry-scale knowledge graphs: Lessons and challenges", Commun. ACM, vol. 62, no. 8, pp. 36-43, 2019.
[http://dx.doi.org/10.1145/3331166]
[85]
M. DeBellis, and B. Dutta, "The Covid-19 CODO Development Process: An Agile Approach to Knowledge Graph Development", Second Indo-American Knowledge Graph and Semantic Web Conference, Telangana, India, 2021, pp. 153-168.
[http://dx.doi.org/10.1007/978-3-030-91305-2_12]
[86]
I. Polikoff, "Knowledge Graphs vs. Property Graphs – Part I", Available from: https://tdan.com/knowledge-graphs-vs-property-graphs-part-1/27140 [Acessed May 17, 2022].
[87]
J. Hendler, and Whither OWL, Available from: https://www. slideshare.net/jahendler/wither-owl [Acessed May 17, 2022].
[88]
"AllegroGraph 7.2.0 Materialized Reasoner", Available from: https://franz.com/agraph/support/documentation/current/materializer.html#Rule-Sets [Acessed May 17, 2022].
[89]
J. Holze, "DBpedia snapshot 2021-09 release", Available from: https://www.dbpedia.org/blog/snapshot-2021-09-release/ [Acessed May 17, 2022].
[90]
H. Paulheim, "Knowledge graph refinement: A survey of approaches and evaluation methods", Semant. Web, vol. 8, no. 3, pp. 489-508, 2016.
[http://dx.doi.org/10.3233/SW-160218]