header
Dashboard > Labels > formalmethods
  Labels Log In   View a printable version of the current page.  
  Label: formalmethods

All content with label formalmethods.
Related Labels: introduction, inference, semantics, owl, ontology

OWL Web Ontology Language Guide (Members Journals)
Title "OWL Web Ontology Language Guide W3C Recommendation 10 February 2004" Authors Editors: Michael K. Smith, Electronic Data Systems, Chris Welty, IBM Research, Deborah L. McGuinness, Stanford University. Reference OWL ...
Other labels: owl, ontology, semantics, inference, introduction
| Home | News | Overview | People | OPP Project | Members Journals | Director's Page | Publications | Opportunities |
Questions or comments please e-mail here
© 2008 Center for Systems Integration

Powered by Atlassian Confluence, the Enterprise Wiki. (Version: 2.6.2 Build:#919 Nov 26, 2007) - Bug/feature request - Contact Administrators