2500 search results - page 260 / 500 » Logical Semantics of Modularisation |
189
click to vote
KR
2004
Springer
15 years 12 months ago
2004
Springer
Although sorts and unary predicates are semantically identical in order-sorted logic, they are classified as different kinds of properties in formal ontology (e.g. sortal and non...
199
click to vote
DEXAW
2003
IEEE
15 years 12 months ago
2003
IEEE
We integrate ontology languages and logic programming (LP) by extending disjunctive logic programs (DLPs) and their semantics in order to support inverses and an infinite univers...
161
click to vote
CAISE
1999
Springer
15 years 10 months ago
1999
Springer
In this paper, we describe the process specification language ConGolog and show how it can be used to model business processes for requirements analysis. In ConGolog, the effects...
193
click to vote
DLOG
2008
15 years 9 months ago
2008
The use of Description Logic as the basis for Semantic Web Languages has led to new requirements with respect to scalable and nonstandard reasoning. In this paper, we address the p...
217
click to vote
DATESO
2006
15 years 8 months ago
2006
Recently XML is the standard format used for the exchange of data between information systems and is also frequently applied as a logical database model. If we use XML as a logical...