197 search results - page 24 / 40 » Using Vampire to Reason with OWL |
SEMWEB
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Ontologies are used for sharing information and are often collaboratively developed. They are adapted for different applications and domains resulting in multiple version...
ICDE
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper presents a description of seven systems, which use database technology to both represent knowledge persistently and make scalable queries on it, in the Semantic Web con...
SAC
2009
ACM
14 years 5 days ago
2009
ACM
Computational technologies have been increasingly explored to make biomedical knowledge and data more accessible for human understanding, comparison, analysis and communication. I...
JSW
2008
13 years 7 months ago
2008
--The vast amounts of data about people, things and the environment will require new ways of handling, searching and presenting information. New applications will increasingly be a...
ECAI
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. One of the most frequently used inference services of description logic reasoners classifies all named classes of OWL ontologies into a subsumption hierarchy. Due to emer...