<?xml version="1.0" encoding="UTF-8"?>

<!--
    Document   : NSI-Examples.xml
    Created on : 23 August 2006, 15:55
    Author     : Yusri Bong
    Description: Example TBox for Approximation
-->
    
<axioms xmlns="http://dl.kr.org/dig/lang/schema"
        xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
        xmlns:nsi='http://dl.kr.org/dig/lang/NSI'
        xsi:schemaLocation="http://dl.kr.org/dig/lang/schema http://homepages.cs.manchester.ac.uk/~seanb/dig/schema.xsd"
        uri="http://lat.inf.tu-dresden.de/~turhan/NSI/approx-kb.xml">
    
    <defClass URI="Woman"/>
    <defClass URI="Parent"/>
    <defClass URI="Human"/>
    <defClass URI="Man"/>
    <defObjectProperty URI="has_child"/>
    
    <subClass>
        <class URI="Woman"/>
        <class URI="Human"/>
    </subClass>
    <subClass>
        <class URI="Man"/>
        <class URI="Human"/>
    </subClass>
    <equivalentClasses>
        <class URI="Parent"/>
        <intersectionOf>
            <someValuesFrom>
                <objectProperty URI="has_child"/>
                <unionOf>
                    <class URI="Woman"/>
                    <class URI="Man"/>
                </unionOf>
            </someValuesFrom>
        </intersectionOf>
    </equivalentClasses>
</axioms>

