2302 search results - page 11 / 461 » Basic Description Logics |
123
Voted
ICIW
2009
IEEE
15 years 9 days ago
2009
IEEE
Abstract--The OGSA
118
Voted
JSYML
2007
15 years 2 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 ...
125
Voted
DLOG
2007
15 years 4 months ago
2007
111
click to vote
AI
2000
Springer
15 years 7 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...
95
Voted
IGPL
2007
15 years 2 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...