Knowledge Fusion and Knowledge Representation

Materials Developed by Richard Scherl

This work has been supported by the Knowledge Fusion Center of the Army Research Laboratory under contract number DAAD-03-2-0034.

The material contained on this site is intended for use in an advanced undergraduate or a beginning graduate class on the topic of Knowledge Fusion. The orientation is towards issues involving Knowledge Representation and Reasoning.

Some of this material was used in a CS598 (Special Topics) class at Monmouth University in the Fall of 2003. This page is continuously being revised and updated.

All are free to make use of this material. Suggestions are welcome, as are pointers to related material available on the web. Please contact rscherl@monmouth.edu

Suggested Texts

• Introduction to Knowledge Representation and Reasoning by Ron Brachman and Hector Levesque. 2004. Morgan Kaufmann Publishers.
• XML and Web Services Unleashed by Schmelzer et al. 2002. Sams.
• Prolog Text.
• Semantic Web.
• A Semantic Web Primer by Grigoris Antoniou and Frank van Harmelen. The MIT Press 2004.
• Database Systems: The Complete Book by Hector Garcia-Molina, Jeffrey D. Ullman and Jennifer Widom. Prentice Hall, 2002.
• Stanford Course Materials (Jeff Ullman).
• Alon Halevy's Publications on Data Integration.
• Maurizio Lenzerini's Publications on Information Integration.
• Artificial Intelligence: A Modern Approach by Stuart Russell and Peter Norvig. Prentice Hall. 2003.
• Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential, edited by Dieter Fensel, James Hendler, Henry Lieberman, and Wolfgang Wahlster. The MIT Press, 2003.
• Data on the Web: From Relations to Semistructured Data and XML by Serge Abiteboul, Peter Buneman, and Dan Suciu. Morgan Kaufmann, 2002.
• Towards the Semantic Web: Ontology-Driven Knowledge Management. Edited by John Davies, Dieter Fensel and Frank van Harmelen. John Wiley and Sons. 2003.

The slides below freely make use of information and examples from the above sources.

Overheads

• Introduction
• First-Order Logic (Syntax)
• First-Order Logic (Semantics)
• Representing Knowledge
• Reasoning Methods
• Special Case: Horn Clauses
• Logic Programming: Prolog
• Datalog (Slides by Jeff Ullman)
• Production Systems
• Special Case: Description Logics
• Description Logics: Semantics
• Description Logics: Subsumption
• Information Integration
• Semantic Web
• Basic XML
• XML Schema
• RDF
• Basic OWL
• More OWL (soon to come)
• Uncertainty (soon to come)
• Introduction to Agents
• More on Agents
• Web Services (soon to come)
• Summary and Conclusions (soon to come)

Sample Assignments

• Assignment 1
• Assignment 2
• Assignment 3
• Assignment 4
• Assignment 5
• Owl Project (soon to come)