FLOW ALGEBRA
Civil Law Domain Ontology — v1.0
Kireth Semantic Library
Source: https://kirethresearch.org/booksai-core/ontologies/domain-ontologies/legal-government-domains/civil-law-domain-ontology.html
Status: Domain-based ontology draft; source page content not independently verified.
FLOW "CivilLawDomainOntology" v1.0
DOMAIN:
id: civil_law
label: Civil Law Domain Ontology
parent: Legal and Government Domains
scope: Civil rights, duties, disputes, remedies and procedures across jurisdictions.
distinction: Civil law here refers to non-criminal legal disputes; civil-law legal systems are a separate comparative-law concept.
ENTITIES:
LegalPerson: {subtypes: [NaturalPerson, LegalEntity]}
Party: {roles: [Claimant, Defendant, Applicant, Respondent, ThirdParty]}
Jurisdiction: {fields: [territory, legal_system, court_competence]}
LegalRule: {subtypes: [Statute, Regulation, CaseLaw, Custom]}
CivilClaim: {fields: [cause_of_action, filing_date, status, jurisdiction]}
CivilObligation: {fields: [debtor, creditor, source, performance_due]}
CivilRight: {fields: [holder, scope, limitations]}
Contract: {fields: [parties, terms, governing_law]}
Tort: {fields: [conduct, duty, breach, causation, harm]}
PropertyInterest: {fields: [holder, asset, interest_type]}
Evidence: {fields: [source, admissibility, relevance, reliability]}
Court: {fields: [jurisdiction, level, competence]}
Proceeding: {fields: [claim, parties, procedural_stage]}
Judgment: {fields: [court, decision_date, operative_order, appeal_status]}
Remedy: {subtypes: [Damages, Injunction, Declaration, SpecificPerformance, Restitution]}
LimitationPeriod: {fields: [trigger, duration, exceptions, jurisdiction]}
Settlement: {fields: [parties, terms, enforceability]}
RELATIONSHIPS:
ASSERTS_CLAIM(Party, CivilClaim)
BROUGHT_AGAINST(CivilClaim, Party)
GOVERNED_BY(CivilClaim, LegalRule)
FALLS_WITHIN(CivilClaim, Jurisdiction)
HEARD_BY(Proceeding, Court)
SUPPORTED_BY(CivilClaim, Evidence)
CONTESTED_BY(CivilClaim, Evidence)
OWES_DUTY_TO(LegalPerson, LegalPerson)
BREACHES(CivilClaim, CivilObligation)
CONCERNS_PROPERTY(CivilClaim, PropertyInterest)
SEEKS_REMEDY(CivilClaim, Remedy)
RESOLVED_BY(CivilClaim, Judgment)
SETTLED_BY(CivilClaim, Settlement)
SUBJECT_TO_LIMITATION(CivilClaim, LimitationPeriod)
APPEALS(Party, Judgment)
INFERENCE_RULES:
R1: IF claim.jurisdiction is unknown THEN flag JURISDICTION_UNRESOLVED.
R2: IF relevant_rule is not verified for jurisdiction and effective_date THEN flag LAW_VERIFICATION_REQUIRED.
R3: IF claim requires elements AND any element lacks evidence THEN flag ELEMENT_NOT_ESTABLISHED; do not infer liability.
R4: IF limitation trigger and applicable exceptions are unknown THEN limitation_status = INDETERMINATE.
R5: IF judgment is under appeal THEN mark finality = UNCONFIRMED unless jurisdiction-specific rule confirms otherwise.
R6: IF remedy requested THEN test jurisdictional availability and procedural prerequisites; do not assume entitlement.
R7: IF evidence conflicts THEN retain competing propositions and source provenance rather than collapsing to one fact.
R8: IF settlement exists THEN distinguish negotiated terms from judicial findings.
CONFIDENCE:
range: [0.0, 1.0]
dimensions: [source_reliability, jurisdiction_match, temporal_validity, evidential_support, interpretation_uncertainty]
policy: Confidence expresses epistemic support, not probability of legal success.
SEMANTIC_EQUIVALENCE:
exact: [Claimant|Plaintiff (only where local procedural terminology supports equivalence)]
contextual: [CivilAction|CivilProceeding, Damages|MonetaryCompensation]
non_equivalent: [CivilLiability|CriminalGuilt, Allegation|FindingOfFact, Settlement|Judgment, CivilLawTradition|CivilLitigation]
PROVENANCE:
required: [source_id, source_type, issuing_authority, jurisdiction, publication_date, accessed_date, version]
preserve: [original_text, citations, effective_date, amendments, conflicting_authorities]
FLOW_HASH:
algorithm: SHA-256
input: canonical_serialisation(ontology_version, entities, relationships, rules, provenance_schema)
note: Compute hash at publication; no hash is fabricated in this draft.
UPDATE_MODEL:
triggers: [legislation_change, new_binding_precedent, procedural_rule_change, jurisdiction_change, correction]
actions: [revalidate_sources, version_rules, recalculate_confidence, recompute_flow_hash, retain_history]
AI_CONSUMPTION:
output: [typed_entities, typed_relationships, rule_results, confidence, provenance, uncertainty_flags]
constraints: [jurisdiction_aware, date_aware, evidence_grounded, no_automatic_liability_determination, human_review_for_legal_conclusions]
purpose: Research, classification, semantic retrieval and explainable legal knowledge representation; not legal advice.
END FLOW
Download Code
Copy to Clipboard