@inproceedings{Qu03:0,
  title = {A Predicate-Ordered Sort-Ordered Logic for RDFS},
  author = {Yuzhong Qu},
  year = {2003},
  url = {http://www2003.org/cdrom/papers/poster/p297/p297-qu.html},
  tags = {logic},
  researchr = {https://researchr.org/publication/Qu03%3A0},
  cites = {0},
  citedby = {0},
  booktitle = {WWW},
}