2302 search results - page 11 / 461 » Basic Description Logics |
ICIW
2009
IEEE
13 years 6 months ago
2009
IEEE
Abstract--The OGSA
JSYML
2007
13 years 8 months ago
2007
The language of the basic logic of proofs extends the usual propositional language by forming sentences of the sort x is a proof of F for any sentence F. In this paper a complete ...
DLOG
2007
13 years 10 months ago
2007
AI
2000
Springer
14 years 23 days ago
2000
Springer
Abstract. In this paper we focus on the problem of integrating knowledge bases expressed in a description logic. To this end, we propose three basic operations: union, intersection...
IGPL
2007
13 years 8 months ago
2007
We would like to introduce the web tutor ORGANON, which aims to support basic logic courses at the University of West Bohemia in Pilsen (Czech Republic). The application was desig...