{"id":"http://www.w3.org/2000/10/swap/log#conclusion","label":["conclusion"],"definition":["All possible conclusions which can be drawn from a formula.\n\nThe object of this function, a formula, is the set of conclusions which can be\ndrawn from the subject formula, by successively applying any\nrules it contains to the data it contains. This is equivalent to\ncwm's \"--think\" command line function.  It does use built-ins, so\nit may for example indirectly invoke other documents, validate\nsignatures, etc.\n"],"parents":[],"domain":"http://www.w3.org/2000/10/swap/log#Formula","range":"http://www.w3.org/2000/10/swap/log#Formula","submission":"https://data.lovportal.lirmm.fr/ontologies/LOG/submissions/1","properties":{"http://www.w3.org/1999/02/22-rdf-syntax-ns#type":["http://www.w3.org/2002/07/owl#ObjectProperty"],"http://www.w3.org/2000/01/rdf-schema#comment":["All possible conclusions which can be drawn from a formula.\n\nThe object of this function, a formula, is the set of conclusions which can be\ndrawn from the subject formula, by successively applying any\nrules it contains to the data it contains. This is equivalent to\ncwm's \"--think\" command line function.  It does use built-ins, so\nit may for example indirectly invoke other documents, validate\nsignatures, etc.\n"],"http://www.w3.org/2000/01/rdf-schema#label":["conclusion"],"http://www.w3.org/2000/01/rdf-schema#domain":["http://www.w3.org/2000/10/swap/log#Formula"],"http://www.w3.org/2000/01/rdf-schema#range":["http://www.w3.org/2000/10/swap/log#Formula"]},"@id":"http://www.w3.org/2000/10/swap/log#conclusion","@type":"http://www.w3.org/2002/07/owl#ObjectProperty","links":{"self":"https://data.lovportal.lirmm.fr/ontologies/LOG/properties/http%3A%2F%2Fwww.w3.org%2F2000%2F10%2Fswap%2Flog%23conclusion","ontology":"https://data.lovportal.lirmm.fr/ontologies/LOG","submission":"https://data.lovportal.lirmm.fr/ontologies/LOG/submissions/1","parents":"https://data.lovportal.lirmm.fr/ontologies/LOG/properties/http%3A%2F%2Fwww.w3.org%2F2000%2F10%2Fswap%2Flog%23conclusion/parents","children":"https://data.lovportal.lirmm.fr/ontologies/LOG/properties/http%3A%2F%2Fwww.w3.org%2F2000%2F10%2Fswap%2Flog%23conclusion/children","ancestors":"https://data.lovportal.lirmm.fr/ontologies/LOG/properties/http%3A%2F%2Fwww.w3.org%2F2000%2F10%2Fswap%2Flog%23conclusion/ancestors","descendants":"https://data.lovportal.lirmm.fr/ontologies/LOG/properties/http%3A%2F%2Fwww.w3.org%2F2000%2F10%2Fswap%2Flog%23conclusion/descendants","tree":"https://data.lovportal.lirmm.fr/ontologies/LOG/properties/http%3A%2F%2Fwww.w3.org%2F2000%2F10%2Fswap%2Flog%23conclusion/tree","@context":{"self":"http://www.w3.org/2002/07/owl#ObjectProperty","ontology":"http://data.bioontology.org/metadata/Ontology","submission":"http://data.bioontology.org/metadata/OntologySubmission","parents":"http://www.w3.org/2002/07/owl#ObjectProperty","children":"http://www.w3.org/2002/07/owl#ObjectProperty","ancestors":"http://www.w3.org/2002/07/owl#ObjectProperty","descendants":"http://www.w3.org/2002/07/owl#ObjectProperty","tree":"http://www.w3.org/2002/07/owl#ObjectProperty"}},"@context":{"@vocab":"http://data.bioontology.org/metadata/","submission":"http://data.bioontology.org/metadata/submission","label":"http://www.w3.org/2000/01/rdf-schema#label","definition":"http://www.w3.org/2004/02/skos/core#definition","parents":{"@id":"http://www.w3.org/2002/07/owl#ObjectProperty","@type":"@id"},"domain":"http://www.w3.org/2000/01/rdf-schema#domain","range":"http://www.w3.org/2000/01/rdf-schema#range","@language":[]}}