Logic
| owl:Ontology | |
|---|---|
| dct:contributor |
Rebekka Plüss, research assistant and software developer, University of Basel, Switzerland
|
| dct:creator |
Hans Cools, MD, knowledge engineer, ontologist, software developer, University of
Basel, Switzerland
|
| dct:description |
Formal description of logic, general subclasses, related classes and properties.
|
| dct:license | |
| dct:publisher |
Universities of Basel, Bern, and Zürich, Switzerland
|
| dct:title |
An ontology about logic
|
| owl:versionInfo |
2020-06-11
|
Classes
| logic:Argument a rdfs:Class |
|
|---|---|
| rdfs:comment |
Premise(s) presenting a reason for accepting a conclusion.
|
| rdfs:isDefinedBy | |
| rdfs:label |
Argument
(de)
argument
(en)
|
| rdfs:subClassOf | |
| logic:Conclusion a rdfs:Class |
|
|---|---|
| rdfs:comment |
Statement of a result, which is drawn from premises and arguments.
|
| rdfs:isDefinedBy | |
| rdfs:label |
Schlussfolgerung
(de)
conclusion
(en)
|
| rdfs:subClassOf | |
| logic:Premise a rdfs:Class |
|
|---|---|
| rdfs:comment |
Statement of a presupposition, which leads to a conclusion.
|
| rdfs:isDefinedBy | |
| rdfs:label |
Prämisse
(de)
premise
(en)
|
| rdfs:subClassOf | |
| logic:Syllogism a rdfs:Class |
|
|---|---|
| rdfs:comment |
Conclusion from the general to the particular.
|
| rdfs:isDefinedBy | |
| rdfs:label |
syllogism
(en)
Syllogismus
(de)
|
| rdfs:subClassOf | |
Properties
| logic:isConclusionOfArgument a owl:ObjectProperty |
|
|---|---|
| rdfs:comment |
Relating a conclusion to an argument it is part of.
|
| rdfs:domain | |
| rdfs:isDefinedBy | |
| rdfs:label |
ist Schlussfolgerung eines Arguments
(de)
is conclusion of argument
(en)
|
| rdfs:range | |
| rdfs:subPropertyOf | |
| logic:isPremiseOfArgument a owl:ObjectProperty |
|
|---|---|
| rdfs:comment |
Relating a premise to an argument it is part of.
|
| rdfs:domain | |
| rdfs:isDefinedBy | |
| rdfs:label |
is premise of argument
(en)
ist Prämisse eines Arguments
(de)
|
| rdfs:range | |
| rdfs:subPropertyOf | |