Installation

TypingMindClaude DesktopCursorVS CodeClaude CodeGemini CLICodexWindsurf

TypingMind

Prerequisites:

Node.js 18+

Copy

{
  "mcpServers": {
    "owl-mcp": {
      "command": "uvx",
      "args": [
        "owl-mcp"
      ]
    }
  }
}

Available Tools

• add_axiom

  Add an axiom to the ontology using OWL functional syntax.
  
  Args:
      owl_file_path: Absolute path to the OWL file
      axiom_str: String representation of the axiom in OWL functional syntax
               e.g., "SubClassOf(:Dog :Animal)"
  
  Returns:
      str: Success message or error
  

• add_axioms

  Adds a list of axioms to the ontology, using OWL functional syntax.
  
  Args:
      owl_file_path: Absolute path to the OWL file
      axiom_strs: List of string representation of the axiom in OWL functional syntax
               e.g., ["SubClassOf(:Dog :Animal)", ...]
  
  Returns:
      str: Success message or error
  

• remove_axiom

  Remove an axiom from the ontology using OWL functional syntax.
  
  Args:
      owl_file_path: Absolute path to the OWL file
      axiom_str: String representation of the axiom in OWL functional syntax
  
  Returns:
      str: Success message or error
  

• find_axioms

  Find axioms matching a pattern in the ontology.
  
  Args:
      owl_file_path: Absolute path to the OWL file
      pattern: A string pattern to match against axiom strings
              (simple substring matching)
      limit: (int) Maximum number of axioms to return (default: 100)
      include_labels: If True, include human-readable labels after ## in the output
      annotation_property: Optional annotation property IRI to use for labels 
                          (defaults to rdfs:label)
  
  Returns:
      list[str]: List of matching axiom strings
  

• get_all_axioms

  Get all axioms in the ontology as strings.
  
  Args:
      owl_file_path: Absolute path to the OWL file
      limit: Maximum number of axioms to return (default: 100)
      include_labels: If True, include human-readable labels after ## in the output
      annotation_property: Optional annotation property IRI to use for labels 
                          (defaults to rdfs:label)
  
  Returns:
      list[str]: List of all axiom strings
  

• add_prefix

  Add a prefix mapping to the ontology.
  
  Args:
      owl_file_path: Absolute path to the OWL file
      prefix: The prefix string (e.g., "ex")
      uri: The URI the prefix maps to (e.g., "http://example.org/")
  
  Note that usually an ontology will contain standard prefixes for rdf, rdfs, owl, xsd
  
  Returns:
      str: Success message
  

• ontology_metadata

  Get metadata about the ontology.
  
  Args:
      owl_file_path: Absolute path to the OWL file
  
  Returns:
      list[str]: List of metadata items
  

• list_configured_ontologies

  List all ontologies defined in the configuration.
  
  Returns:
      List[OntologyConfigInfo]: List of configured ontologies
  

• configure_ontology

  Add or update an ontology in the configuration.
  
  Args:
      name: A unique name for the ontology
      path: Absolute path to the ontology file
      metadata_axioms: List of metadata axioms as strings
      readonly: Whether the ontology is read-only (default: False)
      description: Optional description
      preferred_serialization: Optional preferred serialization format
      annotation_property: Optional annotation property IRI for labels (default: rdfs:label)
  
  Returns:
      str: Success or error message
  

• remove_ontology_config

  Remove an ontology from the configuration.
  
  Args:
      name: Name of the ontology to remove
  
  Returns:
      str: Success or error message
  

• get_ontology_config

  Get configuration for a specific ontology.
  
  Args:
      name: Name of the ontology
  
  Returns:
      Optional[OntologyConfigInfo]: The ontology configuration or None if not found
  

• register_ontology_in_config

  Register an existing ontology in the configuration system.
  
  This allows you to save preferences and metadata for frequently used ontologies,
  making them accessible by name in future sessions.
  
  Args:
      owl_file_path: Absolute path to the ontology file
      name: Optional custom name for the ontology (defaults to filename without extension)
      readonly: Whether the ontology should be read-only (defaults to current setting if loaded)
      description: Optional description for the ontology
      preferred_serialization: Optional preferred serialization format
      annotation_property: Optional annotation property IRI for labels (defaults to current setting if loaded)
  
  Returns:
      str: Name of the registered ontology
  

• load_and_register_ontology

  Load an ontology and register it in the configuration system in one step.
  
  Args:
      owl_file_path: Absolute path to the ontology file
      name: Optional name for the ontology (defaults to filename stem)
      readonly: Whether the ontology should be read-only (default: False)
      create_if_not_exists: If True, create the file if it doesn't exist (default: True)
      description: Optional description of the ontology
      preferred_serialization: Optional preferred serialization format
      metadata_axioms: Optional list of metadata axioms to add to the ontology
      annotation_property: Optional annotation property IRI for labels (default: rdfs:label)
      
  Returns:
      str: Success message
  

• add_axiom_by_name

  Add an axiom to a configured ontology using its name.
  
  Args:
      ontology_name: Name of the ontology as defined in configuration
      axiom_str: String representation of the axiom in OWL functional syntax
  
  Returns:
      str: Success message or error
  

• remove_axiom_by_name

  Remove an axiom from a configured ontology using its name.
  
  Args:
      ontology_name: Name of the ontology as defined in configuration
      axiom_str: String representation of the axiom in OWL functional syntax
  
  Returns:
      str: Success message or error
  

• find_axioms_by_name

  Find axioms matching a pattern in a configured ontology using its name.
  
  Args:
      ontology_name: Name of the ontology as defined in configuration
      pattern: A string pattern to match against axiom strings
      limit: Maximum number of axioms to return (default: 100)
      include_labels: If True, include human-readable labels after ## in the output
      annotation_property: Optional annotation property IRI to use for labels 
                          (defaults to rdfs:label)
  
  Returns:
      list[str]: List of matching axiom strings or empty list if ontology not found
  

• add_prefix_by_name

  Add a prefix mapping to a configured ontology using its name.
  
  Args:
      ontology_name: Name of the ontology as defined in configuration
      prefix: The prefix string (e.g., "ex:")
      uri: The URI the prefix maps to (e.g., "http://example.org/")
  
  Returns:
      str: Success message or error
  

• get_labels_for_iri

  Get all labels for a given IRI.
  
  Args:
      owl_file_path: Absolute path to the OWL file
      iri: The IRI to get labels for (as a string)
      annotation_property: Optional annotation property IRI to use for labels
                          (defaults to rdfs:label if None)
  
  Returns:
      List[str]: List of label strings
  

• get_labels_for_iri_by_name

  Get all labels for a given IRI in a configured ontology.
  
  Args:
      ontology_name: Name of the ontology as defined in configuration
      iri: The IRI to get labels for (as a string)
      annotation_property: Optional annotation property IRI to use for labels
                          (defaults to rdfs:label if None)
  
  Returns:
      List[str]: List of label strings or empty list if ontology not found