224 search results - page 24 / 45 » A Logical Framework for Modularity of Ontologies |
FOMI
2009
13 years 5 months ago
2009
Abstract. The paper presents the preliminary version of Ontobella - a domain ontology of beliefs. The philosophical assumptions of this system are taken from the philosophy of Roma...
EPIA
2003
Springer
14 years 22 days ago
2003
Springer
Modern information retrieval systems need the capability to reason about the knowledge conveyed by text bases. In this paper a methodology to automatically create ontologies and cl...
ESOP
2004
Springer
14 years 27 days ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...
CADE
2006
Springer
14 years 7 months ago
2006
Springer
Access-control policies have grown from simple matrices to non-trivial specifications written in sophisticated languages. The increasing complexity of these policies demands corres...
EGOV
2010
Springer
13 years 8 months ago
2010
Springer
Within a framework for enriched on-line discussion forums for e-government policy-making, pro and con statements for positions are input, structurally related, then logically repre...