238 search results - page 45 / 48 » Proof-Theoretic Approach to Description-Logic |
ASIAN
1998
Springer
14 years 1 months ago
1998
Springer
Chi calculus was proposed as a process algebra that has a uniform treatment of names. The paper carries out a systematic study of bisimilarities for chi processes. The notion of L-...
ASWC
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Ontology reasoning is an indispensable step to fully exploit the implicit semantics of Semantic Web data. The inherent distribution characteristic of the Semantic Web and...
WWW
2007
ACM
14 years 10 months ago
2007
ACM
Syndication systems on the Web have attracted vast amounts of attention in recent years. As technologies have emerged and matured, there has been a transition to more expressive s...
AIL
2007
13 years 9 months ago
2007
In order to improve the management of copyright in the Internet, known as Digital Rights Management, there is the need for a shared language for copyright representation. Current a...
DLOG
2010
13 years 7 months ago
2010
In this paper we outline an algebraic tableau algorithm for the DL SHOQ, which supports more informed reasoning due to the use of semantic partitioning and integer programming. We ...