238 search results - page 6 / 48 » Proof-Theoretic Approach to Description-Logic |
DLOG
2010
13 years 7 months ago
2010
DLOG
2011
13 years 1 months ago
2011
A combination of open and closed-world reasoning (usually called local closed world reasoning) is a desirable capability of knowledge representation formalisms for Semantic Web app...
FOIKS
2010
Springer
14 years 4 months ago
2010
Springer
As a vision for the future of the Web, the Semantic Web is an open, constantly changing and collaborative environment. Hence it is reasonable to expect that knowledge sources in th...
DLOG
2007
13 years 12 months ago
2007
Abstract. This paper presents a tableau approach for deciding description logics outside the scope of OWL DL and current state-of-the-art tableau-based description logic systems. I...
MEDINFO
2007
13 years 11 months ago
2007
Terminologies are increasingly based on “ontologies” developed in description logics and related languages such as the new Web Ontology Language, OWL. The use of description l...