197 search results - page 3 / 40 » Using Vampire to Reason with OWL |
ECAI
2008
Springer
13 years 7 months ago
2008
Springer
In the rule-based OWL reasoning paradigm, ontologies are mapped into an internal rule engine representation format and rules are applied, such as TBOX and ABOX OWL entailment rules...
ESWS
2010
Springer
13 years 9 months ago
2010
Springer
The Semantic Web movement has led to the publication of thousands of ontologies online. These ontologies present and mediate information and knowledge on the Semantic Web. Tools ex...
OWLED
2008
13 years 7 months ago
2008
Abstract. We present Owlgres, a DL-Lite reasoner implementation written for PostgreSQL, a mature open source database. Owlgres is an OWL reasoner that provides consistency checking...
PERCOM
2006
ACM
14 years 5 months ago
2006
ACM
In this paper we present an integrated view for modeling and reasoning for context applications using OWL DL. In our case study, we describe a task driven approach to model typica...
SEMWEB
2010
Springer
13 years 3 months ago
2010
Springer
Analysing the performance of OWL reasoners on expressive OWL ontologies is an ongoing challenge. In this paper, we present a new approach to performance analysis based on justifica...