16:198:672
SPRING 2007
ONTOLOGIES AND CONCEPTUAL MODELING
REFERENCES
The following is an evolving collection of references
to material that I either discuss in class or is relevant. In order to
save me time, I will not give precise formal references, IF the document
is available online. (You can always use google to track down the reference
from its title.)
COPY RIGHT:
-
The copy right to all articles and talks that appear here rests with
the publisher/authors and it is provided here for the use of students in
this class only (no redistribution rights). [Some of the papers may be
found on public web sites using Google]
General references to ontology and conceptual
modeling
-
John Sowa's
web pages (Sowa's book on
Knowledge
Representation would be a recommended reference text.)
good coverage of a lot of issues; the main idiosyncracy is the use
of Conceptual Graphs -- a special notation for FOL -- which is restricted
to a rather narrow community.
-
"Conceptual Modeling", by M Boman, JA Bubenko Jr, P Johannesson,
B Wangler - 1997 - Prentice-Hall
Good book for those interested in database design. But uses Prolog
for describing conceptual models, which is very unusual.
-
Conferences that frequently publish
material relevant to ontologies, conceptual modeling, etc.
-
Journals publishing a lot of relevant
material
Web sites with interesting,
relevant information
Week 1 What is Ontology and What (if anything) is it Good For?
-
Chandrasekaran on What is Ontology and Why is it Useful
An early paper on uses of ontology, by an AI researcher
-
Rector on Why Medical Terminology is Hard
Intended for a medical audience
-
Guarino on different meanings of "Ontology"
-
Visions on how ontologies can help (we will later revisit these topics
in much greater detail)
-
Ontologies and Bioinformatics
-
Ontology-assisted Information Retrieval (not an unqualified success!)
-
Semantic Integration of Information Sources/Databases (Doan et al,
Uschold & Gruninger)
Week 2 Modeling objects and relationships. Using
UML.
Week 3 Continuation: reification, materialization,
partOf, roles
Week 4 Representing actions (UML,FrameNet,Petri
Nets)
Week 5 Workflows; Uniform modeling (SADT,
RML)
Week 6 Reasoning about Conceptual Models
-
Reasoning about UML models; translation to FOL
-
Description Logics I
Week 7 Ontology representation languages and
tools
-
RDF(S) and OWL
-
PROTEGE
-
Translating UML into DL
Week 8 Description Logics II
-
Reasoning in Description Logics
-
Representing information about actions and plans in DLs
Week 9 Upper Level Ontologies
-
The DOLCE upper ontology
-
The OntoClean methodology for checking correctness
-
Cyc, SUMO, and other upper ontologies.
Week 10 Modeling Intentional Aspects; application
to Software Engineering
-
Goals, Arguments, Dependencies -- the i* project
-
Goal-Oriented Requirements Engineering using KAOS
Week 11 Information Integration and Ontologies
-
Approaches to Database Integration (LAV,GAV); example of projects using
ontologies ;
-
Discovering mappings between databases and ontologies
STUDENT PRESENTATIONS ...