Author Ian Horrocks
From Semantic Portal Wiki
A list of all pages that have property "Author" with value "Ian Horrocks"Previous Results 1– 20 Next (20 | 50 | 100 | 250 | 500)
- Web ontology reasoning with datatype groups +
- Using vampire to reason with owl +
- The grail concept modelling language for medical terminology +
- Semantic web architecture: stack or two towers? +
- Reducing owl entailment to description logic satisfiability +
- Rdfs(fa) and rdf mt: two semantics for rdfs +
- Querying the semantic web: a formal approach +
- Owl datatypes: design and implementation +
- Owl 2: the next step for owl +
- Oiling the way to machine understandable bioinformatics resources +
- Oiled: a reason-able ontology editor for the semantic web +
- Obo and owl: leveraging semantic web technologies for the life sciences +
- Just the right amount: extracting modules from ontologies +
- Framework for an automated comparison of description logic reasoners +
- Daml+oil is not enough +
- Can owl and logic programming live together happily ever after? +
- Building a bioinformatics ontology using oil +
- Bridging the gap between owl and relational databases +
- A semantic infosphere +
- A little semantic web goes a long way in biology +
- A description logic based schema for the classification of medical data +
