197 search results - page 32 / 40 » Using Vampire to Reason with OWL |
FLAIRS
2008
13 years 9 months ago
2008
One of the major weaknesses of current research on the Semantic Web (SW) is the lack of proper means to represent and reason with uncertainty. A number of recent efforts from the ...
IAT
2007
IEEE
14 years 1 months ago
2007
IEEE
Agent training techniques study methods to embed empirical, inductive knowledge representations into intelligent agents, in dynamic, recursive or semi-automated ways, expressed in...
SEMWEB
2004
Springer
14 years 25 days ago
2004
Springer
Abstract. We show that the Semantic Web needs a formal semantics for the various kinds of links between ontologies and other documents. We provide a model theoretic semantics that ...
ESWS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Changing a consistent ontology may turn the ontology into an inconsistent state. It is the task of an approach supporting ontology evolution to ensure an ontology evolves...
CMS
2006
13 years 9 months ago
2006
This paper presents a model for delegation based on partial orders, proposing the subclass relation in OWL as a way to represent the partial orders. Delegation and authorization de...