1746 search results - page 81 / 350 » A Constructive Semantics for ALC |
129
click to vote
TABLEAUX
1998
Springer
15 years 8 months ago
1998
Springer
The methodology of fibring is a successful framework for combining logical systems based on combining their semantics. In this paper, we extend the fibring approach to calculi for ...
113
click to vote
CAISE
2006
Springer
15 years 7 months ago
2006
Springer
This paper presents an architecture of ontological components for the Semantic Web. Many methods and methodologies can be found in the literature. Generally, they are dedicated to ...
166
Voted
TLCA
1995
Springer
15 years 7 months ago
1995
Springer
operator abstraction is a language construct relevant to object oriented programming languages and to ML2000, the successor to Standard ML. In this paper, we introduce Fω ≤, a ...
119
click to vote
CAISE
2008
Springer
15 years 6 months ago
2008
Springer
Syntactically correct process models are not necessarily meaningful or represent processes that are feasible to execute. Specifically, when executed, the modeled processes might no...
131
click to vote
ACL
2008
15 years 5 months ago
2008
There are many possible different semantic relationships between nominals. Classification of such relationships is an important and difficult task (for example, the well known nou...