197 search results - page 16 / 40 » Using Vampire to Reason with OWL |
SEMWEB
2009
Springer
14 years 2 months ago
2009
Springer
Traditional object-oriented programming languages can be difficult to use when working with ontologies, leading to the creation of domain-specific languages designed specifically...
ER
2006
Springer
13 years 11 months ago
2006
Springer
Transitive propagation along properties can be modelled in various ways in the OWL description logic. Doing so allows existing description logic reasoners based on the tableaux alg...
COMMA
2008
13 years 9 months ago
2008
Abstract. In previous work, we presented an RDFS ontology, based on the Argument Interchange Format (AIF), for describing arguments and argument schemes. We also implemented a pilo...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
The Semantic Web is becoming more and more a reality, as the required technologies have reached an appropriate level of maturity. However, at this stage, it is important to provid...
ICDT
2007
ACM
14 years 1 months ago
2007
ACM
This paper presents an RDF vocabulary for representing data values as resources. An intended application is the representation of relational databases in RDF, and reasoning with th...