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
27