www.cs.ox.ac.uk/publications/publication4434-abstract.html

You are here:

• Home
• Research
• Publications
• A Model−Theoretic Semantics for DAML+OIL (March 2001)

A Model−Theoretic Semantics for DAML+OIL (March 2001)

Frank van Harmelen‚ Peter F. Patel−Schneider and Ian Horrocks

Details

Month	MAR
Note	http://www.daml.org/2001/03/model-theoretic-semantics.html
Year	2001

Links

BibTeX

Link

Related pages