| Property |
Value |
| dbo:abstract
|
- En logique formelle, l’hypothèse du monde ouvert est la supposition selon laquelle la véracité d'une affirmation ne dépend pas de la connaissance d'un agent ou d'un observateur. En d'autres termes, "ce n'est pas parce qu'on ne connaît pas une information que cette information est fausse". Cette hypothèse est utilisée en particulier dans le langage d'ontologie du web sémantique OWL. Cette hypothèse s'oppose à l'hypothèse du monde clos, dans laquelle l'absence d'information sur une affirmation est interprétée comme la preuve de sa fausseté. Les bases de données traditionnelles fonctionnent implicitement en monde clos. L'hypothèse du monde ouvert est notamment faite au sein des logiques descriptives.
* Portail de la logique
* Portail de l'informatique théorique (fr)
- En logique formelle, l’hypothèse du monde ouvert est la supposition selon laquelle la véracité d'une affirmation ne dépend pas de la connaissance d'un agent ou d'un observateur. En d'autres termes, "ce n'est pas parce qu'on ne connaît pas une information que cette information est fausse". Cette hypothèse est utilisée en particulier dans le langage d'ontologie du web sémantique OWL. Cette hypothèse s'oppose à l'hypothèse du monde clos, dans laquelle l'absence d'information sur une affirmation est interprétée comme la preuve de sa fausseté. Les bases de données traditionnelles fonctionnent implicitement en monde clos. L'hypothèse du monde ouvert est notamment faite au sein des logiques descriptives.
* Portail de la logique
* Portail de l'informatique théorique (fr)
|
| dbo:isPartOf
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 906 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- En logique formelle, l’hypothèse du monde ouvert est la supposition selon laquelle la véracité d'une affirmation ne dépend pas de la connaissance d'un agent ou d'un observateur. En d'autres termes, "ce n'est pas parce qu'on ne connaît pas une information que cette information est fausse". Cette hypothèse est utilisée en particulier dans le langage d'ontologie du web sémantique OWL. L'hypothèse du monde ouvert est notamment faite au sein des logiques descriptives.
* Portail de la logique
* Portail de l'informatique théorique (fr)
- En logique formelle, l’hypothèse du monde ouvert est la supposition selon laquelle la véracité d'une affirmation ne dépend pas de la connaissance d'un agent ou d'un observateur. En d'autres termes, "ce n'est pas parce qu'on ne connaît pas une information que cette information est fausse". Cette hypothèse est utilisée en particulier dans le langage d'ontologie du web sémantique OWL. L'hypothèse du monde ouvert est notamment faite au sein des logiques descriptives.
* Portail de la logique
* Portail de l'informatique théorique (fr)
|
| rdfs:label
|
- Hypothèse du monde ouvert (fr)
- Ipotesi del mondo aperto (it)
- 开放世界假定 (zh)
- Предположение об открытости мира (ru)
- Hypothèse du monde ouvert (fr)
- Ipotesi del mondo aperto (it)
- 开放世界假定 (zh)
- Предположение об открытости мира (ru)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
