197 search results - page 4 / 40 » Using Vampire to Reason with OWL |
DLOG
2004
13 years 8 months ago
2004
This paper describes the OWL ontology explorer OntoXpl. It is available as a web server based on the tomcat architecture. Standard HTML browsers can be used to interact with OntoX...
OWLED
2008
13 years 9 months ago
2008
We view OWL instance data evaluation as a process in which instance data is checked for conformance with application requirements. We previously identified some integrity issues ra...
ISPA
2005
Springer
14 years 29 days ago
2005
Springer
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 ...
DLOG
2011
12 years 11 months ago
2011
We show that deciding conjunctive query inseparability for OWL 2 QL ontologies is PSpace-hard and in ExpTime. We give polynomial-time (incomplete) algorithms and demonstrate by exp...
SEMWEB
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Semantic applications that utilise OWL ontologies can benefit from a broad range of OWL reasoning systems, which allow for the inference of implicit knowledge from expli...