224 search results - page 8 / 45 » A Logical Framework for Modularity of Ontologies |
IEEEICCI
2003
IEEE
14 years 22 days ago
2003
IEEE
Abstract— An ontology is a formal language adequately representing the knowledge used for reasoning in a specific environment. When contradictions arise and make ontologies inad...
RE
2004
Springer
14 years 24 days ago
2004
Springer
Aspect-oriented software development (AOSD) techniques support systematic modularization and composition of crosscutting concerns. Though AOSD techniques have been proposed to han...
CCS
2005
ACM
14 years 1 months ago
2005
ACM
The Framework of Selective Interleaving Functions and the Modular Assembly Kit for Security Properties both provide a basis for the uniform representation and formal analysis of n...
FLAIRS
2008
13 years 9 months ago
2008
Ontology alignment is regarded as one of the core tasks in many Web services. It is concerned with finding the correspondences between separate ontologies by identifying concepts ...
ICFP
2006
ACM
14 years 7 months ago
2006
ACM
In previous work, we proposed a Hoare Type Theory (HTT) which combines effectful higher-order functions, dependent types and Hoare Logic specifications into a unified framework. H...