Sciweavers

665 search results - page 1 / 133
» A proposal for an owl rules language
Sort
View
WWW
2004
ACM
14 years 5 months ago
A proposal for an owl rules language
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 ab...
Ian Horrocks, Peter F. Patel-Schneider
SEMWEB
2004
Springer
13 years 10 months ago
Using Vampire to Reason with OWL
OWL DL corresponds to a Description Logic (DL) that is a fragment of classical first-order predicate logic (FOL). Therefore, the standard methods of automated reasoning for full F...
Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer...
ISPA
2005
Springer
13 years 10 months ago
OWL2Jess: A Transformational Implementation of the OWL Semantics
The wide scale usage of OWL for the formalization of real-world ontologies is currently influenced by important limitations which concern both its expressivity and the efficiency ...
Jing Mei, Elena Paslaru Bontas, Zuoquan Lin
SEMWEB
2009
Springer
13 years 11 months ago
BeliefOWL: An Evidential Representation in OWL Ontology
The OWL is a language for representing ontologies but it is unable to capture the uncertainty about the concepts for a domain. To address the problem of representing uncertainty, w...
Amira Essaid, Boutheina Ben Yaghlane
SEMWEB
2009
Springer
13 years 11 months ago
Suggestions for OWL 3
With OWL 2 about to be completed, it is the right time to start discussions on possible future modifications of OWL. We present here a number of suggestions in order to discuss th...
Pascal Hitzler