Instances of instances modeled via higher-order classes (original) (raw)
Related papers
Ontological Re-Classifications of Instances
2008
On the logic of classes as many
Studia Logica, 2002
Annals of the Japan Association For Philosophy of Science, 2007
An ontology of meta-level categories
Massimiliano Carrara, Nicola Guarino
Principles of Knowledge …, 1994
On Types, Instances, and Classes in UML
Type Construction and the Logic of Concepts
The Language of Word Meaning, 2001
WordNet Nouns: Classes and Instances
Computational Linguistics, 2006
Towards arrow-theoretic semantics of ontologies: conceptories
Arxiv preprint arXiv:1008.1309, 2010
A formal ontology of properties
Knowledge Engineering and Knowledge …, 2000
Two types of ontological structure. Concepts Structures and lattices of elementary situations
Logic and Logical Philosophy, 2013
Automatic Construction and Refinement of a Class Hierarchy over Multi-valued Data
Lecture Notes in Computer Science, 2001
Meta-relation and ontology closure in Conceptual Structure Theory
Artificial Intelligence and …, 2009
Advanced Tools and Models, 2010
A Taxonomic Dictionary of Relations - The core of the definition of a formal language
The Theory of Classification, Part 12::Building the Class Hierarchy
The Journal of Object Technology, 2004
TWO TYPES OF ONTOLOGICAL STRUCTURE: Concepts Structures and Lattices
2012
Pattern Definitions and Semantically Annotated Instances
2009
Automatic Construction and Refinement of a Class Hierarchy over Semi-Structured Data
Ijcai, 2001
Ontologically Correct Taxonomies by Construction
DKE, 2022
Towards an Ontological Analysis of Powertypes
GOL: Toward an axiomatized upper-level ontology
2001
Ontology in Knowledge Representation
A type-theoretical approach for ontologies: The case of roles
Applied Ontology, 2012
A Note on Ontology and Ordinary
Chapter 8: Categories: The Top-Level Ontology
An Introduction, 2000
Refining the structure of terminological systems: terminology= schema+ views
PROCEEDINGS OF THE …, 1994
Towards understanding of classes versus data types in conceptual modeling and UML
Computer Science and Information Systems, 2012
Formalised Elementary Formal Ontology
2002