###############################################################################
# Disclaimer: http://www.lockheedmartin.com/disclaimer.html
##
# This file is in N3 format, a language equivalent to XML but easier to
# read and write.  It is best viewed with tab stops at 8 spaces.
# The following are bindings for namespace shorthands.
##

@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>.
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#>.
@prefix owl: <http://www.w3.org/2002/07/owl#>.
@prefix dc: <http://www.dublincore.org/2003/03/24/dces#>.
@prefix dct: <http://dublincore.org/2003/03/24/dcq#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.
@prefix ex: <http://www.atl.lmco.com/projects/ontology/ontologies/core/experiment/Experiment.n3#>.
@prefix : <http://www.atl.lmco.com/projects/ontology/ontologies/core/operation/Operation.n3#>.

###############################################################################
# We suggest using @prefix oo: for this ontology.
##

<http://www.atl.lmco.com/projects/ontology/ontologies/core/operation/Operation.n3>=<>;
	a log:N3Document;
	a owl:Ontology;
	dc:title "An Ontology for Ontology Operations";
	dc:description "This ontology is intended to capture the fundamental concepts for the broad class of activities of ontology operations, including ontology alignment and ontology merging.";
	dc:publisher "Lockheed Martin Advanced Technology Laboratories";
	dc:creator "Benjamin C. Ashpole, bashpole@atl.lmco.com";
	dc:creator "Todd Hughes, thughes@atl.lmco.com";
	dct:created "2004-04-30"; 
	dct:issued "2003-04-30";
	owl:versionInfo "0.0.0";
	dc:format "text/n3";
	dc:language "en".

###############################################################################
# Below, we define an ontology representing the fundamental concepts involved in ontology
# aligning, ontology merging, and other inter-ontology operations.   
##

:OntologyOperationAlgorithm
	rdfs:comment "The class of algorithms that perform inter-ontology, rather than intra-ontology reasoning.  Subclasses of this class include ontology aligners and ontology mergers.";
	a owl:Class;
	rdfs:subClassOf ex:Algorithm .

# The follow presume a fully automated approach: some algorithms may be partly
# human-powered, and perhaps something should reflect the particular drivers behind 
# those wheels.

:Aligner
	rdfs:comment "The class of algorithms in which an algorithm takes two (possibly more) ontologies A and B, compares them, and generates a list of semantic correspondences between elements in A and elements in B.";
	a owl:Class;
	rdfs:subClassOf :OntologyOperationAlgorithm.

:Merger
	rdfs:comment "The class of algorithms in which an algorithm takes two (possibly more) ontologies A and B, compares them, resolves their redundant elements, and generates a third ontology C that contains the total elements of A and B.";
	a owl:Class;
	rdfs:subClassOf :OntologyOperationAlgorithm.

:OntologyOperationFile
	rdfs:comment "The class of output documents for ontology operation algorithms.";
	a owl:Class.

:inputA
	rdfs:comment "A property relating an ontology operation file with the first source ontology on which the algorithm operated to produce the file.";
	a owl:Property;
	rdfs:domain :OntologyOperationFile.

:inputB
	rdfs:comment "A property relating an ontology operation file with the second source ontology on which the algorithm operated to produce the file.";
	a owl:Property;
	rdfs:domain :OntologyOperationFile.

:operator
	rdfs:comment "A property relating an ontology operation file with the ontology operation algorithm that was the source of the file.";
	a rdf:Property;
	rdfs:domain :OntologyOperationFile;
	rdfs:range :OntologyOperationAlgorithm.