2302 search results - page 11 / 461 » Basic Description Logics |
108
Voted
ICIW
2009
IEEE
14 years 10 months ago
2009
IEEE
Abstract--The OGSA
93
Voted
JSYML
2007
15 years 20 days 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 ...
98
Voted
AI
2000
Springer
15 years 5 months 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...
78
Voted
IGPL
2007
15 years 21 days 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...