如何在RDFS/OWL中定义List<string>类型的属性？

Great question! When you need a property that accepts a list of strings (like a List<string> in typed languages) in OWL, you can't just combine xsd:string and rdf:List directly—you need to add constraints to ensure every element in the list is a string. Here are two solid approaches to make this work:

1. Define a dedicated StringList class (recommended) #

This method creates a reusable class for string lists, then sets your property's range to this class. The class is defined recursively to enforce that all elements are strings:

# Define the StringList class
ex:StringList rdf:type owl:Class ;
    owl:equivalentClass [
        rdf:type owl:Class ;
        owl:unionOf (
            owl:nil  # Empty list is allowed
            [
                rdf:type owl:Restriction ;
                owl:onProperty rdf:first ;
                owl:allValuesFrom xsd:string ;  # First element must be a string
                owl:onProperty rdf:rest ;
                owl:allValuesFrom ex:StringList ;  # Remaining list must also be a StringList
            ]
        )
    ] .

# Now define your property with StringList as its range
ex:favoriteColors rdf:type owl:DatatypeProperty ;
    rdfs:domain ex:Person ;
    rdfs:range ex:StringList .

How it works: #

• The StringList class is either an empty list (owl:nil) or a non-empty list where:
  • The first element (rdf:first) is always a xsd:string
  • The rest of the list (rdf:rest) is also a StringList (creating a recursive check for all elements)

2. Add direct constraints to your property's domain #

If you don't need a reusable string list class, you can add the constraint directly to the domain class of your property:

# Define the property with rdf:List as base range
ex:favoriteColors rdf:type owl:DatatypeProperty ;
    rdfs:domain ex:Person ;
    rdfs:range rdf:List .

# Add a constraint to the Person class to enforce string list values
ex:Person rdf:type owl:Class ;
    owl:equivalentClass [
        rdf:type owl:Restriction ;
        owl:onProperty ex:favoriteColors ;
        owl:allValuesFrom [
            rdf:type owl:Restriction ;
            owl:onProperty rdf:first ;
            owl:allValuesFrom xsd:string ;
            owl:onProperty rdf:rest ;
            owl:allValuesFrom ex:StringListOrNil ;
        ]
    ] .

# Helper class for the recursive check
ex:StringListOrNil rdf:type owl:Class ;
    owl:equivalentClass [
        owl:unionOf (
            owl:nil
            [
                rdf:type owl:Restriction ;
                owl:onProperty rdf:first ;
                owl:allValuesFrom xsd:string ;
                owl:onProperty rdf:rest ;
                owl:allValuesFrom ex:StringListOrNil ;
            ]
        )
    ] .

Note: #

This achieves the same result as the first method but ties the constraint directly to the Person class instead of creating a reusable StringList type.

Key Takeaway: #

OWL doesn't have a built-in "list of strings" datatype, so you have to use recursive restrictions to enforce that every element in the rdf:List is a xsd:string. Both methods above will ensure that any value assigned to your property is a valid list of strings that reasoners can recognize.

内容的提问来源于stack exchange，提问作者user9345277