DAML: MIT Program Review (2000-2004)

Pre-Standards

• n3-turtle
• n3-full/LX/SWeLL [cf SWRL, DRS, RuleML, SWRL-FOL, SPARQL/Construct, CL]
• delta ontology [cf Atom, Pub/Sub, DiffFacts]
• proof ontology [cf KSL's PDL]
• local closed world ontology

• Contents
• Change style
• Previous
• Next