Published package / CLIR

`arxo.fibo_taxonomy`

v0.1.0

Замыкание таксономии FIBO: подклассы, области и значения свойств

A package can be printed as a standalone module in a general-purpose language that answers without the rules engine: an answer and its status, with no proof, hashes or canonical document. Everything on this page comes from the generation plan built with the index; the gallery computes nothing of its own.

Generation plan

The plan builds: the package can be printed as a module.

plan format: law-backend-plan/0.8
capabilities: status:supported

Checked against package scenarios

Not checked: the package scenarios have not been run against generated modules. A plan that builds does not yet show that the answers coincide.

Target languages

print this plangopyts

refuse this plan · 13

bsl версия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RU
cs версия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RU
dart версия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RU
erl версия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RU
ex версия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RU
java версия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RU
kt версия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RU
lua версия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RU
php версия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RU
rb версия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RU
rs версия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RU
scala версия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RU
swift версия плана не поддержана эмиттером: 'law-backend-plan/0.8' (поддержана law-backend-plan/0.7)RU

Print the module from a repository checkout

./law dev backend corpus/clir/arxo-fibo-taxonomy.lawir.json --target ts --target py --target go --out DIR

Dependencies included in the planfibo.contracts

Module interface

Questions are public relations with a producing rule; inputs are the facts a question reads. Function names follow the language: ask_… in Python, ask.… in TypeScript, Ask… in Go.

Questions · 3

Name	Parameters	Meaning	Reads	Sources
property_domain	text, text	property_domainRU	`subclass_ofsource_domainsource_subclass`	`/rules/DomainFromSource/rules/DomainWidened`
property_range	text, text	property_rangeRU	`subclass_ofsource_rangesource_subclass`	`/rules/RangeFromSource/rules/RangeWidened`
subclass_of	text, text	subclass_ofRU	`subclass_ofsource_subclass`	`/rules/SubclassFromSource/rules/SubclassTransitive`

Inputs · 4

Name	Parameters	Meaning
subclass_of	text, text	subclass_ofRU
source_domain	text, text, text	source_domainRU
source_range	text, text, text	source_rangeRU
source_subclass	text, text, text	source_subclassRU