|
A causal functional representation language with behavior-based semantics +,
A declarative formalization of knowledge translation +,
A first-order logic semantics for semantic web markup languages +,
A proof markup language for semantic web services +,
A proof markup language for semantic web services (tr) +,
A reusable time ontology +,
A web-based compositional modeling system for sharing of physical knowledge +,
An axiomatic semantics for rdf, rdf schema, and daml+oil +,
An environment for merging and testing large ontologies +,
Automated model selection for simulation based on relevance reasoning +,
Building a large knowledge base from a structured source: the cia world fact book +,
Cfrl: a language for specifying the causal functionality of engineering devices +,
Cml: a compositional modeling language +,
Collaborative ontology construction for information integration +,
Combinable proof fragments for the web +,
Computational context logic and species of $ist$ +,
Computing trust from revision history +,
Contexts for the semantic web +,
Creating open, sharable xml dtds for knowledge representation and bringing enhanced semantics to xml +,
Daml+oil: an ontology language for the semantic web +,
…
|
Author
|
