ProEthica - Ethical Decision Analysis Platform

Get Entities By Category

Retrieve ontology entities by category from a professional domain.

Sparql Query

Execute SPARQL query on professional domain ontology.

Wolfram Lookup

Look up a concept, definition, or factual information via Wolfram AgentOne. Useful for verifying definitions, finding related concepts, and grounding ontology terms in authoritative knowledge during ontology construction.

Submit Candidate Concept

Submit a candidate concept extracted by ProEthica.

Update Concept Status

Update the status of a candidate concept (approve/reject).

Get Candidate Concepts

Retrieve candidate concepts for review.

Get Domain Info

Get information about a professional domain.

Store Extracted Entities

Store extracted entities from LLM in case-specific ontology.

Get Case Entities

Retrieve stored entities for a specific case.

Get Entity By Uri

Retrieve an entity's definition and metadata by its URI. Use this to resolve ProEthica entity IRIs during reasoning.

Get Entities By Uris

Retrieve definitions for multiple entities at once (max 20).

Get Entity By Label

Retrieve an entity's definition, URI, and metadata by its label. Use for disambiguation when matching extracted concepts against existing ontology classes.

Reason Ontology

Run the Pellet reasoner over a stored ontology (merged with proethica-core + proethica-intermediate) and return consistency plus inferred-assertion counts and timing. Use the ontology name, e.g. 'proethica-case-86' or 'engineering-ethics'.

Check Consistency

Check whether a stored ontology is logically consistent under OWL-DL reasoning (Pellet, merged with core+intermediate). Returns a consistent flag, disjointness violation count, and any inconsistency explanation.

Get Inferred Hierarchy

Return the class-subsumption and type assertions the reasoner INFERS for a stored ontology (the edges not asserted in the source TTL), capped to 300 each.

Get Inconsistent Classes

List entities the reasoner forces to owl:Nothing (disjointness violations) in a stored ontology, plus a hard-inconsistency flag/explanation if the whole ontology is inconsistent.

Validate Bfo Compliance

Run BFO / PROV-O / proethica-intermediate compliance checks over a stored ontology's TTL and return errors + warnings.

Validate Conformance

SHACL + OWL-RL conformance check of a STORED case ontology against the core conformance shapes (merged with core+intermediate, OWL-RL closure applied). Returns a repair-oriented report: {conforms, n_violations, groups:[{shape, gloss, focus_nodes, count}]}. Each group is an equivalence class of violations with an NL repair gloss. Complements check_consistency (Pellet): this gives per-node, actionable violations.

Validate Conformance Ttl

SHACL + OWL-RL conformance check of AD-HOC case TTL content (the extraction-time path: validate a candidate graph from temporary_rdf_storage BEFORE commit, so the extractor can repair in-loop). Same repair-oriented report as validate_conformance. Pass the candidate case TTL as a string; it is merged with core+intermediate and OWL-RL-expanded before the shapes run.

Repair Conformance Ttl

SHACL + OWL-RL conformance check WITH deterministic Tier-0 repair (no LLM) of ad-hoc case TTL. Runs the validate-repair loop with Tier-0 only (defer a disjoint-core clash to the property-domain category, etc.), and returns the repaired TTL, whether it now conforms, the number of repairs applied, and any residual violations the deterministic tier could not fix. The pre-commit gate path: ProEthica calls this after materialising edges and before persisting a case, writes the repaired TTL back, and