La migliore risposta
Lontologia è lo studio dei tipi fondamentali di entità che ci sono. La parola tradizionale per “tipo di base” in questo senso è categor y. Per fare un esempio, distinguiamo tra oggetti particolari e le loro caratteristiche, come il colore e la forma e il peso di questa foglia. Questa distinzione è presupposta in tutte le scienze. Così le ipotesi o “teorie” su questa distinzione, su cosa significhi essere una proprietà o un particolare, non rientrano in nessuna delle altre scienze. Questo è tipico di una questione ontologica. Le altre due risposte qui sono errate nella misura in cui implicano che lepistemologia è in qualche modo una parte dellontologia. Non lo è. Lepistemologia è uno studio separato. Lepistemologia si occupa di come le credenze vengono garantite o di cosa sia la conoscenza.
Unentità può essere intesa come qualsiasi cosa su cui si possono fare affermazioni vere, qualsiasi cosa che abbia tutte le lingue, senza eccezione, hanno una distinzione tra un soggetto, qualcosa di cui possiamo dire cose, e le frasi verbali che usiamo per predicare o affermare le caratteristiche di quellentità. Tutte le lingue, senza eccezione, fanno una distinzione tra laffermazione di un predicato di qualcosa e negando quel predicato di quella cosa. Quindi largomento dellontologia non è dovuto alle peculiarità di una particolare famiglia linguistica.
Ci sono una varietà di candidati che sono stati proposti per lo status di categoria. I “Ne ho citati due finora: particolare e proprietà. Altri includono eventi o attività, processi, stati di cose, fatti. Ad esempio, alcuni ontologi propongono che ci siano oggetti particolari, come molecole, alberi, persone e così via, e gli eventi si svolgono in queste cose, e queste cose persistono attraverso i vari cambiamenti che avvengono in essi. In questa vista gli eventi sono unentità complessa che consiste di particolari aventi proprietà evento. Di solito si ritiene che i particolari persistenti abbiano natura, che sono le capacità fondamentali di cambiamento che hanno. O in ogni caso, i particolari persistenti hanno delle capacità, e queste sono esibite dalle loro attività. Altri ontologi, tuttavia, ritengono che i particolari siano unillusione, riducibile a stringhe di eventi o processi. Quindi queste ontologie di eventi considerano eventi o processi di base.
Risposta
Due risposte ** molto diverse ** di Thomas Musselman e Kingsley Ihehen, entrambi altamente qualificati (in effetti, Considero Kingsley Idehen una delle luci principali dellontologia computazionale). Perché così diverso? Entrambi parlano di cose diverse: Musseman sullontologia come * argomento in filosofia * e Idehen sullontologia come argomento * emergente nellingegneria informatica *.
In filosofia, lontologia riguarda quali sono le categorie generali di “cose” esistenti, come forse oggetti fisici, sensazioni, idee, anime, stati danimo, eventi, relazioni, ruoli, fatti, supposizioni, immagini mentali…. Nellingegneria informatica, le ontologie catalogano i tipi di “cose” che vengono utilizzate per descrivere i domini dello sforzo e della conoscenza umana, come elettroni e protoni e … in chimica, azioni e obbligazioni, scambi e accordi e … nel settore dei titoli …, widget, stili e pixel e … nelle interfacce utente web,. Fondamentalmente, la lingua di un dominio e le relazioni di significato tra i concetti nel dominio. Quindi, lontologia è il fondamento del linguaggio che deve essere compreso per avere una conoscenza del dominio, come “ogni atomo ha lo stesso numero di protoni ed elettroni”.
Ma, secondo me, questo lapproccio nellingegneria informatica si mette nei guai quando si tratta di ciò che chiamano “ontologia superiore”, spesso affermate come classi di cose di livello superiore che non dipendono dal dominio. Qui, lontologia dellingegneria informatica si scontra con lontologia filosofica. Ad esempio, Kingsley afferma che unontologia è un catalogo di “tipi di entità” e tipi di relazione “. Questo * presuppone * che le cose che possono esistere siano tutte entità o relazioni. Come è stato determinato? È questo il modello migliore per tutti gli scopi? (E, in particolare, gli odierni ontologi ingegneristici seguono quasi tutti il web semantico e il suo uso di una forma particolare per tutte le asserzioni come una “Tripla RDF”: Soggetto-Verbo-Oggetto.) È affermato, e potrebbe essere vero con alcune estensioni , che ogni affermazione * può * essere espressa in questa forma. Ma, come spesso accade, il fatto che tutto possa essere espresso in una certa forma porta le persone a pensare che questo sia ciò che “realmente è”. Altre lingue, non indoeuropee, non riducono il pensiero alle cose e alle relazioni , ma piuttosto, ad esempio, agli eventi e / o ai ruoli negli eventi. (Ad esempio malgascio).Alcuni approcci di ingegneria informatica alternativi correlati, come la modellazione oggetto-ruolo, si sono dimostrati più efficaci, a mio parere, soprattutto per le applicazioni di data science.
Ciò che è necessario, a mio parere, è un computer scienza che potrebbe mettere in relazione lontologia filosofica e lontologia ingegneristica. Come Ronald Stamper, uno dei pensatori fondatori della semantica dellinformatica, ha recentemente affermato:
“Nella mia vita scientifica, ho due desideri forti e persistenti:
1. Per scoprire su quale ontologia nascosta in senso metafisico si basa lingegneria ontologica; “
Credo che nel lavoro di Stamper dalla fine degli anni 80 fino ai primi anni 2000 si apra effettivamente la strada a questa federazione di idee.