BibSonomy :: author  ::

bookmarks

publications

(39)

• On Keys and Functional Dependencies as First-Class Citizens in Description Logics.
  David Toman and Grant E. Weddell J. Autom. Reasoning 40 117-132 (2008)
  to dblp by dblp on 2008-11-25 00:00:00
  | URL | BibTeX  
• Two-dimensional bidirectional object layout.
  Joseph Gil and William Pugh and Grant E. Weddell and Yoav Zibin ACM Trans. Program. Lang. Syst. 30 (2008)
  to dblp by dblp on 2008-09-04 00:00:00
  | URL | BibTeX  
• Identifying Objects Over Time with Description Logics.
  David Toman and Grant E. Weddell Description Logics (2008)
  to dblp by dblp on 2008-06-26 00:00:00
  | URL | BibTeX  
• On Ordering and Indexing Metadata for the Semantic Web.
  J. Pound and Lubomir Stanchev and David Toman and Grant E. Weddell Description Logics (2008)
  to dblp by dblp on 2008-06-26 00:00:00
  | URL | BibTeX  
• On Ordering Descriptions in a Description Logic.
  J. Pound and Lubomir Stanchev and David Toman and Grant E. Weddell Description Logics (2007)
  to dblp by dblp on 2008-05-29 00:00:00
  | URL | BibTeX  
• Adding ABoxes to a Description Logic with Uniqueness Constraints via Path Agreements.
  Vitaliy L. Khizder and David Toman and Grant E. Weddell Description Logics (2007)
  to dblp by dblp on 2008-05-29 00:00:00
  | URL | BibTeX  
• Modal vs. Propositional Reasoning for model checking with Description Logics.
  Shoham Ben-David and Richard J. Trefler and Grant E. Weddell Description Logics (2007)
  to dblp by dblp on 2008-05-29 00:00:00
  | URL | BibTeX  
• On Order Dependencies for the Semantic Web.
  David Toman and Grant E. Weddell ER 293-306 (2007)
  to dblp by dblp on 2007-11-19 00:00:00
  | URL | BibTeX  
• Model checking the basic modalities of CTL with Description Logic.
  Shoham Ben-David and Richard J. Trefler and Grant E. Weddell Description Logics (2006)
  to dblp by dblp on 2007-10-31 00:00:00
  | URL | BibTeX  
• Binary Absorption in Tableaux-Based Reasoning for Description Logics.
  Alexander K. Hudek and Grant E. Weddell Description Logics (2006)
  to dblp by dblp on 2007-10-31 00:00:00
  | URL | BibTeX