Keyne Digital Assets

Docs / Base de Conhecimento / Governança de conceitos

Base de Conhecimento

Conteúdo

Governança de conceitos

Parte: Ciência da computação · Capítulo: Governança de conceitos · Edição: 2026-10-06
Palavras-chave: plano, certificado, conservatividade, quarentena, OWL 2 RL, dois relógios, recuperação com prova, raio de impacto da consulta
Glossário: blast radius, certificate (plan), conservativity, proof-carrying retrieval — veja o Glossário

Em resumo

  • Uma mudança em uma tabela de regras é um plano. Certifique-o. Rejeite-o quando for forjado ou falhar a conservatividade. Aplique apenas o plano certificado.
  • O exemplo publicado de política silenciosa mantém blast_radius em 0 e risk_score em baixo, enquanto conservativity é not_conservative_under_rule_table e a tabela de regras owl-rl acrescenta 901 novas consequências.
  • Nesta mesa, a conservatividade é um portão rígido antes da inserção. Os identificadores que se movem são ids de artigos e ids de arquivos da organização.
  • A gramática permanece em um relógio certificado (Stanza, Universal Dependencies). Grafos de conceitos, preenchimento, o chat do mapa e o retorno de palavras permanecem em um relógio de opinião até carregarem um id de regra e um id de certificado.

Referências online (verificadas)

Verificado em 6 de outubro de 2026. Cada URL abaixo devolveu uma página; os títulos são os títulos nessas páginas.

Instantâneo offline omitido nesta edição web. Instantâneo offline · OWL 2 Web Ontology Language Profiles (Second Edition) · https://www.w3.org/TR/owl2-profiles/ · recuperado em 2026-10-06

Este capítulo é o relato, neste livro, de um desenho. A nota de desenho no repositório do Situation Monitor é docs/CONCEPTS_GOVERNANCE.md. Ela especifica portões. Não os acrescenta aos escritores. O loop do qual parte é o Open Ontologies.

1. Planejar, certificar, rejeitar o forjado, aplicar

Definição (plano). Uma proposta nomeada para alterar uma tabela de regras, ou o grafo que essa tabela produz, registrada por escrito antes de qualquer inserção.
Exemplo. Um axioma, ex:hasParent rdfs:domain ex:Person, oferecido como a mudança inteira.

Definição (certificado). Um registro que nomeia o plano, o hash da tabela de regras que de fato executou, e o diff do fecho que a verificação computou.

Definição (aplicar). A escrita de um plano certificado no repositório que o leitor vê. Um plano que falha a certificação permanece em quarentena, um documento irmão do grafo aplicado.

Definição (plano forjado). Uma derivação cuja conclusão o verificador não consegue obter a partir das premissas declaradas e da regra nomeada.

O Open Ontologies enuncia o loop em quatro tempos. Planeje a mudança. Certifique-a sob uma tabela de regras nomeada. Rejeite uma linha que o verificador não consegue derivar. Aplique apenas um plano que o certificado cubra.

O README (recuperado em 2026-10-06) apresenta as contagens que uma execução produziu, e afirma que ninguém escreve uma contagem na legenda: 426 afirmadas, 259 certificadas, 1 rejeitada. Um verificador Lean 4 provou as arestas certificadas. Um único certificado cobre as 259. O mesmo verificador recusou a linha forjada, saiu com código 1 e nomeou a regra. A linha de stack nesse README é Oxigraph 0.5 para RDF e para SPARQL 1.1, e Lean 4 v4.33.1 para os verificadores.

Nesta mesa, os mesmos quatro tempos correspondem aos escritores que hoje inventam e armazenam em um só passo: rótulos de categoria em um artigo, frames gramaticais, o grafo de conceitos de notícias, o grafo de conceitos da organização e o mapa argumentativo. O plano é o documento que esses escritores produzem antes da inserção. A página e o painel do grafo leem o grafo aplicado. A quarentena não é um campo dentro do documento aplicado, nem uma lista recusada que um GET posterior copia para o mapa.

Uma entrada de changelog, um commit git do mapa ou uma escrita em cache do grafo de conceitos pode sentar-se ao lado de uma lista nua de arestas. Esses registros não são um certificado.

2. O bug da política silenciosa

Definição (bug da política silenciosa). Um plano cujo relatório de forma permanece quieto, enquanto o veredito de conservatividade diz que a tabela de regras tem novas consequências.
Notação. No transcrito publicado: blast_radius 0 triplos afetados, risk_score baixo, conservativity = not_conservative_under_rule_table, new consequences = 901, rule table = owl-rl.
Exemplo. A mudança inteira é um axioma rdfs:domain. Classes acrescentadas: 0. Classes removidas: 0.

O README imprime esse transcrito e enuncia a lacuna em uma frase: cada número de um diff de forma diz que a mudança é segura, e a mudança deu um tipo novo a cada indivíduo que a propriedade já tinha. As novas sentenças são consequências sob a tabela de regras. O OWL 2 RL, na recomendação de Perfis do W3C, é o perfil voltado ao raciocínio baseado em regras sobre grafos OWL 2 e RDF. O RDF 1.1 é o modelo de dados que esses grafos usam: um triplo de sujeito, predicado e objeto. Um triplo ausente não é uma negação. O quadro quieto é o conjunto de triplos que o diff de forma contou. O objeto em movimento é o conjunto de sentenças que a tabela de regras agora licencia.

Novecentas e uma novas consequências é a contagem publicada. É o “centenas” contra o qual o desenho da mesa está escrito. Uma pontuação de risco que permanece baixa nessa linha não descreve a política. A política mudou na intensão.

A mesma forma, nesta mesa, é um rótulo ou uma aresta implies cujo quadro de conceitos permanece perto de uma dúzia de palavras-chave, enquanto uma consulta permanente ganha artigos. blast_radius computado como “nenhum nó novo neste quadro” é esse quadro quieto. Uma magnitude de correlação impressa que permanece pequena enquanto a linha ainda é armazenada é esse quadro quieto na mesa de retorno de palavras. Se o conjunto de ids da consulta permanente cresceu, o plano é rejeitado. A pontuação não tem voto, e a escrita não ocorre.

3. A conservatividade como portão rígido antes da inserção

Definição (conservatividade). Em relação a uma tabela de regras Horn: a mudança não altera nenhuma consequência sobre os nomes que o repositório já usa. O Open Ontologies enuncia o veredito como uma palavra, entre elas not_conservative_under_rule_table, e não como um booleano nu.
Definição (portão rígido). Compute o conjunto de ids que uma consulta permanente devolveria se este rótulo ou esta aresta fosse aplicado. Quando esse conjunto é um superconjunto próprio do conjunto sob o repositório atual, a certificação falha e a inserção não ocorre.

O documento de ciclo de vida faz da conservatividade a parte de um plano que diz respeito ao sentido. O restante do plano é forma: classes, propriedades, indivíduos, um delta de triplos, um raio de impacto, uma pontuação de risco. Nesse documento, a verificação é opt-in; uma verificação que não pode rodar deixa conservativity.skipped, e o plano ainda é devolvido. O desenho do Situation Monitor aperta o veredito e o transforma em um portão.

O portão cobre duas escritas, e roda antes de qualquer uma delas:

  1. A inserção de categoria, antes de categories ser armazenado no artigo.
  2. A junção implies, antes de essas arestas existirem no objeto que um leitor recebe ou que um grafo da organização armazena.

Um filtro que descarta um rótulo depois que o repositório já o conta vê uma pertinência que já é verdadeira. Esse filtro é uma passagem posterior. O portão é a verificação que roda primeiro.

4. Dois relógios

Definição (relógio certificado). O repositório gramatical: tokens Stanza (tokenize, pos, lemma, depparse), o grammar_hash, frames de artigos, ocorrências gramaticais e as leituras /ieml de classes, ocorrências e frames.{role}.
Definição (relógio de opinião). O grafo de conceitos, o preenchimento da organização, o chat do mapa e as linhas de retorno de palavras.

O próprio site do Stanza descreve um pipeline que tokeniza, etiqueta e faz a análise de dependências no formalismo das Universal Dependencies. As Universal Dependencies são a anotação translinguística de classes gramaticais e de dependências sintáticas. Esses papéis são a gramática certificada. Uma aresta implies, uma linha de Pearson ou um turno de preenchimento permanece no relógio de opinião.

A opinião torna-se um papel de frame, ou uma aresta de mapa, somente após plano, certificado e aplicação naquele alvo. Os dois relógios não compartilham uma escrita.

Certificado

O que contém
Tokens Stanza, papéis Universal Dependencies, grammar_hash, frames, ocorrências
O que chega a um leitor
Classes /ieml, ocorrências, frames.{role}

Opinião

O que contém
Grafos de conceitos, preenchimento da organização, chat do mapa, retorno de palavras
O que chega a um leitor
O grafo aplicado, após um certificado naquele alvo

5. Recuperação com prova (proof-carrying retrieval)

Definição (recuperação com prova). Cada aresta aplicada carrega um id de regra e um id de certificado no payload que o cliente e o agente recebem.
Exemplo. O Open Ontologies escreve um certificado. O comando no README é oo-cert asserted.tsv derivations.tsv. A saída 0 é coberta pelo teorema OOCert.certificate_sound. Uma conclusão falsa no arquivo de derivação sai com código 1 e nomeia a regra que não se sustenta.

O SPARQL 1.1 é a linguagem de consulta sobre o grafo RDF. O Oxigraph é o banco de grafos SPARQL que o README do Open Ontologies nomeia para RDF e para SPARQL 1.1 (Oxigraph 0.5). Uma consulta que devolve uma aresta devolve, com ela, os dois ids.

Nesta mesa, a cópia enxuta de um grafo de conceitos precisa manter ambos os ids. Um campo que existe no grafo rico e é descartado quando o dicionário da aresta é reconstruído está ausente na persistência e ausente de novo na leitura. Um certificado que vive apenas em um cache ou em um changelog, enquanto a resposta é uma aresta nua (id, from, to, relation, label), não satisfaz a definição.

As ferramentas voltadas ao agente que encapsulam briefs públicos permanecem encapsuladores até que uma aresta que as alcance tenha um id de certificado nesse payload. Não há um canal lateral de implies não certificados.

6. Raio de impacto do corpus de consultas

Definição (raio de impacto do corpus de consultas). O crescimento, medido antes da aplicação, dos ids de artigos e dos ids de arquivos da organização que uma consulta permanente devolveria.
Notação. Faça o diff dos conjuntos de ids. Uma contagem de nós no quadro de conceitos é uma medição diferente.

A mesa que se move é a consulta de artigos e a consulta de arquivos da organização. A mesa que parece pequena é o grafo de conceitos. Meça a primeira.

Consulta
Pertinência geopolítica, inclusive a janela que descarta o filtro de categoria quando o conjunto filtrado é pequeno
Id a comparar
Id do artigo

Briefs de categoria e agrupamento pelo primeiro rótulo

Id a comparar
Id do artigo

Janela da organização, os arquivos aprovados antes de o grafo ser construído

Id a comparar
Id do arquivo da organização

Mesa gramatical: ocorrências e frames.{role}

Id a comparar
Id da ocorrência, e a URL do artigo no frame

Linhas de retorno de palavras que entram no quadro

Id a comparar
A linha de correlação. Conte este conjunto por si. Não é uma consulta de id de artigo.

Um recorte de exibição que mantém algumas dezenas de nós é o quadro quieto da §2. Um plano pode reescrever uma consulta dentro desse recorte, e um plano com uma dúzia de arestas também pode. O diff que a certificação lê é o diff de ids acima.

7. O que um certificado não decide

Definição (revisão de política). Um ato separado do certificado. O certificado mostra a implicação sob a tabela de regras cujo hash foi nele registrado. Não mostra que o axioma é uma boa categoria, um bom implies ou uma boa correlação.

Fixe o hash da tabela de regras no certificado. Uma prova verificada contra uma tabela e armazenada contra outra é um certificado forjado. O hash cobre as regras que de fato rodaram. Quando essas regras mudam, os certificados antigos não se aplicam.

Referências

Páginas obtidas em 2026-10-06. Uma URL que não devolveu uma página confirmável é omitida; nenhum dos candidatos abaixo falhou essa verificação.

  1. Open Ontologies (repositório). Planejar, aplicar e reverter mudanças em uma ontologia de produção, com um relatório de raio de impacto e uma prova que um auditor pode reverificar. https://github.com/fabio-rovai/open-ontologies
  2. Open Ontologies, README. O transcrito da política silenciosa (blast_radius 0, risk_score baixo, not_conservative_under_rule_table, 901 novas consequências, tabela de regras owl-rl), o verificador Lean 4 e a linha de stack “Oxigraph 0.5 for RDF and for SPARQL 1.1” / “Lean 4 v4.33.1”. https://github.com/fabio-rovai/open-ontologies/blob/main/README.md
  3. Ontology Lifecycle. Planejar, impor, aplicar, monitorar, derivar. A conservatividade é a parte de um plano que diz respeito ao sentido; neste documento a verificação é opt-in, e uma verificação omitida ainda devolve o plano. https://github.com/fabio-rovai/open-ontologies/blob/main/docs/lifecycle.md
  4. Motik, Cuenca Grau, Horrocks, Wu, Fokoue, Lutz (eds.). OWL 2 Web Ontology Language Profiles (Second Edition). Recomendação W3C, 11 de dezembro de 2012. Seção 4, OWL 2 RL, inclusive o raciocínio em OWL 2 RL e grafos RDF por meio de regras. https://www.w3.org/TR/owl2-profiles/
  5. Cyganiak, Wood, Lanthaler (eds.). RDF 1.1 Concepts and Abstract Syntax. Recomendação W3C, 25 de fevereiro de 2014. https://www.w3.org/TR/rdf11-concepts/
  6. Harris, Seaborne (eds.). SPARQL 1.1 Query Language. Recomendação W3C, 21 de março de 2013. https://www.w3.org/TR/sparql11-query/
  7. Oxigraph. Um banco de grafos e um toolkit de RDF e SPARQL. README no branch padrão. https://github.com/oxigraph/oxigraph
  8. Lean 4, linguagem de programação e provador de teoremas. README do repositório: “This is the repository for Lean 4.” https://github.com/leanprover/lean4
  9. Avigad, de Moura, Kong, Ullrich, com a comunidade Lean. Theorem Proving in Lean 4. https://lean-lang.org/theorem_proving_in_lean4/
  10. Stanza – A Python NLP Package for Many Human Languages. Pipeline para tokenização, classes gramaticais, lematização e análise de dependências sob Universal Dependencies. https://stanfordnlp.github.io/stanza/
  11. Qi, Peng; Zhang, Yuhao; Zhang, Yuhui; Bolton, Jason; Manning, Christopher D. Stanza: A Python Natural Language Processing Toolkit for Many Human Languages. 2020. O site do Stanza liga este resumo. https://arxiv.org/abs/2003.07082
  12. Universal Dependencies. Quadro para a anotação consistente de classes gramaticais, traços morfológicos e dependências sintáticas entre línguas. https://universaldependencies.org/

Fontes já citadas em outros capítulos permanecem naqueles capítulos (as Referências online do cartão de cada capítulo, além das seções Referências completas / Referências no arquivo longo). Esta lista não as substitui.

Ver também

Termos do glossário introduzidos

blast radius, certificate (plan), conservativity, proof-carrying retrieval

Voltar ao topo ↑

Todas as entradas Glossário Fundamentos