CS652 Spring 2004 Summary. Course Objectives. Learn how to extract, structure, and integrate Web information Learn what the Semantic Web is Learn how to build ontologies for the Semantic Web Investigate class-related research topics Be introduced to Semantic Web services.
Ontology O = <V, A> where
V = vocabulary = predicate symbols (each with some arity)
A = axioms = formulas (constraints and rules)
Owner(x), Vehicle(x), Car(x), Truck(x), Owner(x) owns Vehicle(y)
x(Owner(x) 1y(Owner(x) owns Vehicle(y))
TruckOwner(x) :- Owner(x), Owner(x) owns Vehicle(y), Truck(y)
BYU Ontos Extraction Ontology
Annotated Semantic Web Page
What can you do to make your dreams come true?