Skip to main content
3 votes

Have computer scientists proven the world is fundamentally unpredictable?

You are correct - there are many logical gaps and over-simplifications in the passage that you quote. To unpick just some of them: "Every aspect of the world is fundamentally unpredictable. Computer ...
gandalf61's user avatar
  • 1,589
3 votes
Accepted

How to model references in an ontology

If you want to say something about an RDF triple (i.e., an rdf:Statement), you can use reification: ...
unor's user avatar
  • 201
3 votes
Accepted

Are semantic networks ontologies?

Semantic Networks are in no way the same as ontologies. The accepted answer is therefore very misleading. Semantic networks (Quillian 1968) and semantic frames (Minsky 1975) emerged earlier than ...
Heyheyhey's user avatar
  • 131
2 votes
Accepted

In first order logic, how do we normally represent a statement?

This is a good question and comes down to what you want to achieve with the Mother entity. In your first example, Mother(x, y) ...
Pål GD's user avatar
  • 16.7k
1 vote
Accepted

What is the difference between type inhabitant and subtyping?

There is an obvious difference: you are an inhabitant (member) of humankind, but since you are not a collection of little humans you are not a subset of humanity. And as Bertrand Russell taught us all,...
Andrej Bauer's user avatar
  • 30.9k
1 vote

What is the formal name for an "entry" in an ontology?

An entry in an ontology is typically called a 'concept'. It is a common understanding of what something is. Generally concepts are about kinds, although individual things may also be referred to as ...
AndriesSHP's user avatar

Only top scored, non community-wiki answers of a minimum length are eligible