Logical separability of labeled data examples under ontologies

, , &
Artificial Intelligence 313 (C):103785 (2022)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2022.103785

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Towards Interoperability of Biomedical Ontologies - Report Number 07132.Mark Musen, Michael Schroeder & Barry Smith - 2008 - In Towards Interoperability of Biomedical Ontologies. Schloss Dagstuhl-Leibniz-Zentrum Fuer Informatik.
Building Ontologies with Basic Formal Ontology.Robert Arp, Barry Smith & Andrew D. Spear - 2015 - Cambridge, MA: MIT Press.
基于基本形式化本体的本体构建.Robert Arp, Barry Smith & Andrew D. Spear - 2020 - Beijing: People's Medical Publishing House.
Model-theoretic inseparability and modularity of description logic ontologies.Boris Konev, Carsten Lutz, Dirk Walther & Frank Wolter - 2013 - Artificial Intelligence 203 (C):66-103.
On some questions about selective separability.Liljana Babinkostova - 2009 - Mathematical Logic Quarterly 55 (5):539-541.
Operational Independence and Operational Separability in Algebraic Quantum Mechanics.Miklós Rédei - 2010 - Foundations of Physics 40 (9-10):1439-1449.
The evaluation of ontologies: Editorial review vs. democratic ranking.Barry Smith - 2008 - In Proceedings of InterOntology (Tokyo, Japan, 26-27 February 2008),. Keio University Press. pp. 127-138.
The functions of definitions in ontologies.Selja Seppälä, Alan Ruttenberg, & Barry Smith - 2016 - In R. Ferrario & W. Kuhn (eds.), Formal Ontology in Information Systems. Proceedings of the Ninth International Conference (FOIS 2016). IOS Pres. pp. 37-50.
‘Thing’ and ‘non-thing’ ontologies.Esfeld Michael - 2020 - In Ricki Bliss & James Miller (eds.), The Routledge Handbook of Metametaphysics. New York, NY: Routledge.
Guidelines for writing definitions in ontologies.Selja Seppälä, Alan Ruttenberg & Barry Smith - 2017 - Ciência da Informação 46 (1): 73-88.
Realitätsrepräsentation: Das Ziel der Ontologie.Barry Smith - 2008 - In Ludger Jansen & Barry Smith (eds.), Biomedizinische Ontologie. Philosophie – Lebenswissenschaften - Informationstechnik. Zurich: vdf (UTB Forum). pp. 31-46.
Benefits of Realist Ontologies to Systems Engineering.Eric Merrell, Robert M. Kelly, David Kasmier, Barry Smith, Marc Brittain, Ronald Ankner, Evan Maki, Curtis W. Heisey & Kevin Bush - 2021 - 8th International Workshop on Ontologies and Conceptual Modelling (OntoCom).
Establishing and Harmonizing Ontologies in an Interdisciplinary Health Care and Clinical Research Environment.Barry Smith & Mathias Brochhausen - 2008 - Studies in Health, Technology and Informatics 134:219-234.
Ontology for the Intelligence Analyst.Barry Smith - 2012 - CrossTalk 14 (Nov/Dec):18-25.
Separability and concept-empiricism: Hume vs. Locke.Ruth Weintraub - 2007 - British Journal for the History of Philosophy 15 (4):729 – 743.

Analytics

Added to PP
2022-09-28

Downloads
10 (#1,129,009)

6 months
5 (#544,079)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

On languages with two variables.Michael Mortimer - 1975 - Mathematical Logic Quarterly 21 (1):135-140.
On the restraining power of guards.Erich Grädel - 1999 - Journal of Symbolic Logic 64 (4):1719-1742.

View all 10 references / Add more references