COSC410

Read README first.

2014

R.A.O'K's first lecture (DLs in general)
R.A.O'K's second lecture (AL, EL, EL++)
R.A.O'K's third lecture (RDF and SPARQL)
R.A.O'K's fourth lecture (OWL)

Stuff from previous years

  • 2011-asssignment, Question 1
  • 2011-asssignment, Question 2
  • 410-Aho-Ullman-FOCS-tree-model.pdf
  • 410-LIA-sets-and-functions.pdf
  • 410-LIA-tableaux.pdf
  • 4bitf.m4
  • 4bit.m4
  • Arith1.java
  • arith2.hs
  • Arith2.java
  • arith.c
  • arith.hi
  • arith.hs
  • Arith.java
  • boolexpr.c
  • boolexpr.dat
  • boolexpr.h
  • cerebro.dat
  • cerebro-prop.c
  • cnf.hs
  • COSC462.tar
  • dem16.m4
  • dnf.hs
  • dnf.scm
  • eqp-09d.tar.gz
  • je-dnf.hs
  • otter-3.2.tar.gz
  • peru.htm
  • prop.awk
  • prop.c
  • prop.dat
  • prop.log
  • propt.c
  • propt.java
  • README.2011
  • README.2001
  • reslab.scm
  • robdd.hs
  • robdd.pl
  • robdd.scm
  • terms.c
  • terms.htm
  • tohs.pl
  • tree-notes.txt
  • Ullman-Tree-Data-Model.pdf