245 search results - page 24 / 49 » Class Algebra as a Description Logic |
118
Voted
ICLP
1995
Springer
15 years 4 months ago
1995
Springer
Equational theories underly many elds of computing, including functional programming, symbolic algebra, theorem proving, term rewriting and constraint solving. In this paper we sh...
130
click to vote
ADC
2006
Springer
15 years 6 months ago
2006
Springer
Query answering over OWLs and RDFs on the Semantic Web is, in general, a deductive process. To this end, OWL, a family of web ontology languages based on description logic, has be...
114
click to vote
CADE
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. Classifying finite algebraic structures has been a major motivation behind much research in pure mathematics. Automated techniques have aided in this process, but this ha...
116
Voted
TLCA
2009
Springer
15 years 7 months ago
2009
Springer
Finiteness spaces constitute a categorical model of Linear Logic whose objects can be seen as linearly topologised spaces, (a class of topological vector spaces introduced by Lefsc...
96
Voted
DIAGRAMS
2006
Springer
15 years 4 months ago
2006
Springer
The intuitive properties of configurations of planar non-overlapping closed curves (boundaries) are presented as a pure boundary mathematics. The mathematics, which is not incorpor...