197 search results - page 1 / 40 » Using Vampire to Reason with OWL |
SEMWEB
2004
Springer
13 years 10 months ago
2004
Springer
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...
OWLED
2008
13 years 6 months ago
2008
SEMWEB
2011
Springer
12 years 7 months ago
2011
Springer
We present the OWL API, a high level Application Programming Interface (API) for working with OWL ontologies. The OWL API is closely aligned with the OWL 2 structural specificatio...
CADE
2010
Springer
13 years 6 months ago
2010
Springer
It has recently been shown that proofs in which some symbols are colored (e.g. local or split proofs and symbol-eliminating proofs) can be used for a number of applications, such a...
DLOG
2009
13 years 2 months ago
2009
I will provide an overview of many of the use cases that we looked at to apply OWL ABox reasoning in the real world. The fields we covered included (a) healthcare, and life science...