245 search results - page 8 / 49 » Class Algebra as a Description Logic |
DM
2008
15 years 15 days ago
2008
We investigate equidissections of a trapezoid T(a), where the ratio of the lengths of two parallel sides is a. (An equidissection is a dissection into triangles of equal areas.) A...
140
click to vote
SEMWEB
2009
Springer
15 years 5 months ago
2009
Springer
Abstract—For many tasks, such as the integration of knowledge bases in the semantic web, one must not only handle the knowledge itself, but also characterizations of this knowled...
93
Voted
STACS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. A new class of languages of infinite words is introduced, called the maxregular languages, extending the class of ω-regular languages. The class has two equivalent desc...
84
Voted
CSL
2004
Springer
15 years 8 days ago
2004
Springer
Abstract. A new class of languages of infinite words is introduced, called the maxregular languages, extending the class of -regular languages. The class has two equivalent descrip...
102
click to vote
KR
2004
Springer
15 years 5 months ago
2004
Springer
Practical description logic systems play an ever-growing role for knowledge representation and reasoning research even in distributed environments. In particular, the often-discus...