Resumen: Presentamos OLG ++, una extensión semántica del gráfico lógico de obligación (OLG) para modelar reglas regulatorias y legales en contextos municipales e interjurisdiccionales. OLG ++ introduce tipos de nodos y bordes más ricos, incluidas construcciones espaciales, temporales, grupales de partidos, deficiencia y agrupación lógica, lo que permite representaciones matizadas de obligaciones legales, excepciones y jerarquías. El modelo respalda el razonamiento estructurado sobre las reglas con condiciones contextuales, precedencia y desencadenantes complejos. Demostramos su expresividad a través de ejemplos de las regulaciones comerciales de alimentos, que muestra cómo OLG ++ apoya la respuesta de preguntas legales utilizando consultas de gráficos de propiedad. OLG ++ también mejora sobre LegalRuleml al proporcionar apoyo nativo para subclases, restricciones espaciales y estructuras de excepción reificadas. Nuestros ejemplos muestran que OLG ++ es más expresivo que los modelos anteriores basados en gráficos para la representación del conocimiento legal.
Publicado Originalme en export.arxiv.org El 8 de julio de 2025.
Ver Fuente Original
