An introduction to mathematical logic and type theory: to truth through proof
An introduction to mathematical logic and type theory: to truth through proof
Information and Computation - Semantics of Data Types
Proofs and types
Using a lexicon of canonical graphs in a semantic interpreter
Relational models of the lexicon
Evaluation of relational algebras incorporating the time dimension in databases
ACM Computing Surveys (CSUR)
Data & Knowledge Engineering - Special issue on linguistic instruments in knowledge engineering (LIKE)
Subsumption and classification-based reasoning in object-based representations
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Handbook of logic in computer science (vol. 2)
Computation and reasoning: a type theory for computer science
Computation and reasoning: a type theory for computer science
Using dynamic classes and role classes to model object migration
Theory and Practice of Object Systems - Special issue on the 1994 European Conference of Object Oriented Programming
Formal ontology, conceptual analysis and knowledge representation
International Journal of Human-Computer Studies - Special issue: the role of formal ontology in the information technology
Role-Based Access Control Models
Computer
Part-whole relations in object-centered systems: an overview
Data & Knowledge Engineering - Special issue on modeling parts and wholes
Data & Knowledge Engineering - Special issue on modeling parts and wholes
Roles are not classes: a reply to Nicola Guarino
International Journal of Human-Computer Studies
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Knowledge representation: logical, philosophical and computational foundations
Knowledge representation: logical, philosophical and computational foundations
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
On the representation of roles in object-oriented and conceptual modelling
Data & Knowledge Engineering
Evaluating ontological decisions with OntoClean
Communications of the ACM - Ontology: different ways of representing the same concept
A Theory of Objects
Supporting ontological analysis of taxonomic relationships
Data & Knowledge Engineering - ER2000
A Formal Ontology of Properties
EKAW '00 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling and Management
Sweetening Ontologies with DOLCE
EKAW '02 Proceedings of the 13th International Conference on Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web
A Unifying Theory of Dependent Types: The Schematic Approach
TVER '92 Proceedings of the Second International Symposium on Logical Foundations of Computer Science
Verifying Properties of Module Construction in Type Theory
MFCS '93 Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science
Type Theory as a Foundation for Computer Science
TACS '91 Proceedings of the International Conference on Theoretical Aspects of Computer Software
An Object Data Model with Roles
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Constructions: A Higher Order Proof System for Mechanizing Mathematics
EUROCAL '85 Invited Lectures from the European Conference on Computer Algebra-Volume I - Volume I
On the General Ontological Foundations of Conceptual Modeling
ER '02 Proceedings of the 21st International Conference on Conceptual Modeling
Interactive Programs in Dependent Type Theory
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
Recursion for Higher-Order Encodings
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Proof-assistants using dependent type systems
Handbook of automated reasoning
Journal of Functional Programming
A role model and its metaclass implementation
Information Systems
A proposal for an owl rules language
Proceedings of the 13th international conference on World Wide Web
Records and Record Types in Semantic Theory
Journal of Logic and Computation
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Situations in Conceptual Modeling of Context
EDOCW '06 Proceedings of the 10th IEEE on International Enterprise Distributed Object Computing Conference Workshops
A Type Driven Theory of Predication with Complex Types
Fundamenta Informaticae - Logic for Pragmatics
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Applied Ontology - Roles, an interdisciplinary perspective
Abstract vs. social roles - Towards a general theoretical account of roles
Applied Ontology - Roles, an interdisciplinary perspective
A precise model for contextual roles: The programming language ObjectTeams/Java
Applied Ontology - Roles, an interdisciplinary perspective
The model of roles within an ontology development tool: Hozo
Applied Ontology - Roles, an interdisciplinary perspective
Roles, an interdisciplinary perspective
Applied Ontology - Roles, an interdisciplinary perspective
Representing and reasoning over a taxonomy of part-whole relations
Applied Ontology - Ontological Foundations of Conceptual Modelling
Seeking a foundation for context-aware computing
Human-Computer Interaction
Coders at Work
Reified temporal theories and how to unreify them
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Toward a verified relational database management system
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Relationships meet their roles in object oriented programming
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
Service oriented architectural design
TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
Towards Ontological Correctness of Part-whole Relations with Dependent Types
Proceedings of the 2010 conference on Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS 2010)
Modeling Contexts with Dependent Types
Fundamenta Informaticae
Functions and fixed types: Biological and other functions in the post-adaptationist era
Applied Ontology - The Ontology of Functions
Modelling the interaction between objects: roles as affordances
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Calendars and topologies as types
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part IV
AOIS'04 Proceedings of the 6th international conference on Agent-Oriented Information Systems II
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Agent roles, qua individuals and the counting problem
Software Engineering for Multi-Agent Systems IV
Typeful ontologies with direct multilingual verbalization
CNL'10 Proceedings of the Second international conference on Controlled Natural Language
Formalizing Context in Intuitionistic Type Theory
Fundamenta Informaticae
Formal foundations for situation awareness based on dependent type theory
Information Fusion
Hi-index | 0.00 |
In the domain of ontology design as well as in Knowledge Representation, modeling universals is a challenging problem. Most approaches that have addressed this problem rely on Description Logics DLs but many difficulties remain, due to under-constrained representation which reduces the inferences that can be drawn and further causes problems in expressiveness. In mathematical logic and program checking, type theories have proved to be appealing but, so far they have not been applied in the formalization of ontologies. To bridge this gap, we present in this paper a theory for representing ontologies in a dependently-typed framework which relies on strong formal foundations including both a constructive logic and a functional type system. The language of this theory defines in a precise way what ontological primitives such as classes, relations, properties, etc., and thereof roles, are. The first part of the paper details how these primitives are defined and used within the theory. In a second part, we focus on the formalization of the role primitive. A review of significant role properties leads to the specification of a role profile and most of the remaining work details through numerous examples, how the proposed theory is able to fully satisfy this profile. It is demonstrated that dependent types can model several non-trivial aspects of roles including a formal solution for generalization hierarchies, identity criteria for roles and other contributions. A discussion is given on how the theory is able to cope with many of the constraints inherent in a good role representation.