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

Content with label formalmethods in Members Journals (See content from all spaces)
Related Labels: introduction, inference, semantics, owl, ontology

OWL Web Ontology Language Guide
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