160 search results - page 15 / 32 » Reasoning about Semantic Web in Isabelle HOL |
CSSW
2007
13 years 9 months ago
2007
: The Relationship Finder is a tool for exploring connections between objects in a Semantic Web knowledge base. It offers a new way to get insights about elements in an ontology, i...
OWLED
2007
13 years 9 months ago
2007
Fuzzy Description Logics (Fuzzy DLs) and fuzzy OWL have been proposed as languages able to represent and reason about imprecise and vague knowledge. Such extensions have gained con...
PPSWR
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We discuss language architecture for the Semantic Web, and in particular different proposals for extending this architecture with a rules component. We argue that an arch...
EPIA
2003
Springer
14 years 27 days ago
2003
Springer
Modern information retrieval systems need the capability to reason about the knowledge conveyed by text bases. In this paper a methodology to automatically create ontologies and cl...
ACMICEC
2006
ACM
14 years 1 months ago
2006
ACM
In this paper we present a proposal for representing soft constraint satisfaction problems (CSPs) within the Semantic Web architecture. The proposal is motivated by the need for a...