Author Richard Fikes
From Semantic Portal Wiki
A list of all pages that have property "Author" with value "Richard Fikes"Previous Results 1– 20 Next (20 | 50 | 100 | 250 | 500)
- Daml-ont: an ontology language for the semantic web +
- Daml+oil: an ontology language for the semantic web +
- Creating open, sharable xml dtds for knowledge representation and bringing enhanced semantics to xml +
- Contexts for the semantic web +
- Computing trust from revision history +
- Computational context logic and species of $ist$ +
- Combinable proof fragments for the web +
- Collaborative ontology construction for information integration +
- Cml: a compositional modeling language +
- Cfrl: a language for specifying the causal functionality of engineering devices +
- Building a large knowledge base from a structured source: the cia world fact book +
- Automated model selection for simulation based on relevance reasoning +
- An environment for merging and testing large ontologies +
- An axiomatic semantics for rdf, rdf schema, and daml+oil +
- A web-based compositional modeling system for sharing of physical knowledge +
- A reusable time ontology +
- A proof markup language for semantic web services (tr) +
- A proof markup language for semantic web services +
- A first-order logic semantics for semantic web markup languages +
- A declarative formalization of knowledge translation +
- A causal functional representation language with behavior-based semantics +
