Representing Disjunction and Quantifiers in RDF

@inproceedings{McDermott2002RepresentingDA,
  title={Representing Disjunction and Quantifiers in RDF},
  author={Drew McDermott and Dejing Dou},
  booktitle={International Semantic Web Conference},
  year={2002}
}
The advantage of the RDF/DAML+OIL family of languages over ordinary XML is that it is topic-neutral and composable. However, its expressivity is severely limited. This limitation is well known, and the usual remedy is reification, in which RDF is used to describe formulas in a richer language. We propose a method for encoding typed predicate calculus using reification, which handles bound variables cleanly and causes the size to increase by only a constant multiple. The method generalizes to… CONTINUE READING
Highly Cited
This paper has 48 citations. REVIEW CITATIONS
33 Citations
10 References
Similar Papers

Citations

Publications citing this paper.

References

Publications referenced by this paper.
Showing 1-10 of 10 references

Resource Description Framework (Rdf) Model and Syntax Specification

  • Ora Lassila, Ralph R. Swick
  • Technical report,
  • 1999
Highly Influential
5 Excerpts

A Proposal for Encoding Logic in Rdf/daml

  • Drew McDermott, Jonathan Borden, Mark Burstein, Douglas Smith, Richard Waldinger
  • Technical report, Yale CS,
  • 2001
1 Excerpt

Reference description of the daml+oil (march 2001) ontology markup

  • Frank van Harmelen, Peter F. Patel-Schneider, Ian Horrocks
  • 2001
3 Excerpts

Web Services Definition Language (Wsdl) 1.1

  • Erik Christensen, Francisco Curbera, Greg Meredith, Sanjiva Weerawarana
  • Technical report,
  • 2001
2 Excerpts

Primer: Getting into rdf & semantic web using

  • Tim Berners-Lee
  • 2000
1 Excerpt

Format: Draft proposed American National Standard (dpans)

  • KIF. Knowledge Interchang
  • Technical Report 2/98-004, ANS,
  • 1998
2 Excerpts

The Planning Domain Definition Language Manual

  • Drew McDermott
  • Technical Report 1165, Yale Computer Science,
  • 1998
3 Excerpts

Similar Papers

Loading similar papers…