Counting and sets in OWL

Although the OWL Web Ontology Language adds considerable expressive power to the Semantic Web it does have expressive limitations, particularly with respect to what can be said about properties. We present the Semantic Web Rule Language (SWRL), a Horn ...

The standardization of the Web Ontology Language (OWL) leaves (at least) two crucial issues for Web-based ontologies unsatisfactorily resolved, namely how to represent and reason with multiple distinct, but linked ontologies, and how to enable effective ...

The National Cancer Institute's NCI Thesaurus is a biomedical reference ontology. The NCI Thesaurus is represented using description logic, more specifically Ontylog, a description logic implemented by Apelon, Inc. We are exploring the use of the DL ...