197 search results - page 26 / 40 » Using Vampire to Reason with OWL |
SEMWEB
2009
Springer
14 years 2 months ago
2009
Springer
The Family History Knowledge Base (FHKB) was presented at OWLED in 2008. The FHKB uses a rich object property hierarchy, including many OWL 2 features, to derive many entailments o...
AAAI
2007
13 years 9 months ago
2007
Efficient query answering over ontologies is one of the most useful and important services to support Semantic Web applications. Approximation has been identified as a potential...
AAAI
2007
13 years 9 months ago
2007
Description Logics, and in particular the web ontology language OWL has been proposed as an appropriate basis for computing matches between structured objects for the sake of info...
PPSWR
2005
Springer
14 years 1 months ago
2005
Springer
The Semantic Web is an endeavour aiming at enhancing Web data with meta-data and data processing, as well as processing methods specifying the “meaning” of such data and allowi...
ICAIL
2009
ACM
14 years 2 months ago
2009
ACM
ct Land use regulations are an important but often underrated legal domain. Especially in densely populated regions such as the Netherlands, spatial plans have a profound impact on...