| A simple use case example for the Mandarax RDF API.
"domain.rdf" describes a general domain model as a taxonomy written in RDF.
The model is structured in (Sub)-Domains and associated Members connected via the
relations subDomain and member. A domain is a closed entity, e.g. a company, a department, a role etc.,
and a member is a concrete instance (e.g. a employee)of one or more domains in this taxonomy.
This use case example implements some inference rules which allow deriving all members of a domain
inclusive those members which belong to transitive subdomains. The RDF document is used as fact base
for the domain taxonomy ("t-box model") and the associated instances/members ("a-box model").
Inference rules:
isMember(Member, Domain) <-- member(Member,Domain)
isDerivedMember(Member,Domain) <-- isMember(Member,Domain)
isDerivedMember(Member,Domain) <-- isSubDomain(Domain,SubDomain) and isDerivedMember(Member, SubDomain)
isSubDomain(Domain1, Domain2) <-- subDomain(Domain1, Domain2)
Facts from "domain.rdf":
member(member_X,domain_Y)
subDomain(domain_A,domain_B)
Example Queries:
isMember(member_X, domain_Y)? (direct member of domain Y)
isDerivedMember(member_X, domain_Y) (derived member of trasitive domain Y)
author:
Adrian Paschke
version:
1.1 <17 Dec 2004>
since:
1.1 |
