moved to Apache Licence

README

@@ -20,7 +20,7 @@ COPYRIGHT:
 
 All files in [src] are Copyright (c) 2010 Frantisek Simancik
 <[email protected]>, Yevgeny Kazakov
-<[email protected]> and Oxford University
+<[email protected]> and University of Oxford
 
 INSTALLATION:
 
@@ -41,7 +41,7 @@ REQUIREMENTS:
 Currently ConDOR can only read ontologies in OWL-2 functional-style
 syntax and supports a subsets of the constructors corresponding to SH.
 The reasoner will ignore any constructor or axiom type that it 
-doesn't support and issue a warning. This hould not result in any 
+doesn't support and issue a warning. This should not result in any 
 unsound inferences.
 
 For the description of OWL-2 functional-style syntax, see:

src/concept.cpp

@@ -1,3 +1,21 @@
+/* 
+ * Copyright (c) 2010 Frantisek Simancik
+ * <[email protected]>, Yevgeny Kazakov
+ * <[email protected]> and University of Oxford
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
 #include "concept.h"
 
 #include "sstream"

src/concept.h

@@ -1,3 +1,21 @@
+/* 
+ * Copyright (c) 2010 Frantisek Simancik
+ * <[email protected]>, Yevgeny Kazakov
+ * <[email protected]> and University of Oxford
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
 #ifndef CONCEPT_H_
 #define CONCEPT_H_
 

src/disjunction.cpp

@@ -1,3 +1,21 @@
+/* 
+ * Copyright (c) 2010 Frantisek Simancik
+ * <[email protected]>, Yevgeny Kazakov
+ * <[email protected]> and University of Oxford
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
 #include <iostream>
 #include <vector>
 #include <set>

src/disjunction.h

@@ -1,3 +1,21 @@
+/* 
+ * Copyright (c) 2010 Frantisek Simancik
+ * <[email protected]>, Yevgeny Kazakov
+ * <[email protected]> and University of Oxford
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
 #ifndef DISJUNCTION_H_
 #define DISJUNCTION_H_
 

src/factory.cpp

@@ -1,3 +1,21 @@
+/* 
+ * Copyright (c) 2010 Frantisek Simancik
+ * <[email protected]>, Yevgeny Kazakov
+ * <[email protected]> and University of Oxford
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
 #include "factory.h"
 
 Factory::Factory() {

src/factory.h

@@ -1,3 +1,21 @@
+/* 
+ * Copyright (c) 2010 Frantisek Simancik
+ * <[email protected]>, Yevgeny Kazakov
+ * <[email protected]> and University of Oxford
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
 #ifndef FACTORY_H_
 #define FACTORY_H_
 

src/formatter.cpp

@@ -1,3 +1,21 @@
+/* 
+ * Copyright (c) 2010 Frantisek Simancik
+ * <[email protected]>, Yevgeny Kazakov
+ * <[email protected]> and University of Oxford
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
 #include <algorithm>
 #include <iterator>
 

src/formatter.h

@@ -1,3 +1,21 @@
+/* 
+ * Copyright (c) 2010 Frantisek Simancik
+ * <[email protected]>, Yevgeny Kazakov
+ * <[email protected]> and University of Oxford
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
 #ifndef FORMATTER_H_
 #define FORMATTER_H_
 

src/header.h

@@ -1,3 +1,21 @@
+/* 
+ * Copyright (c) 2010 Frantisek Simancik
+ * <[email protected]>, Yevgeny Kazakov
+ * <[email protected]> and University of Oxford
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
 #ifndef HEADER_H_
 #define HEADER_H_
 

src/ontology.cpp

@@ -1,3 +1,21 @@
+/* 
+ * Copyright (c) 2010 Frantisek Simancik
+ * <[email protected]>, Yevgeny Kazakov
+ * <[email protected]> and University of Oxford
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
 #include <iostream>
 
 #include "ontology.h"

src/ontology.h

@@ -1,3 +1,21 @@
+/* 
+ * Copyright (c) 2010 Frantisek Simancik
+ * <[email protected]>, Yevgeny Kazakov
+ * <[email protected]> and University of Oxford
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
 #ifndef ONTOLOGY_H_
 #define ONTOLOGY_H_
 

src/parser.cpp

@@ -1,3 +1,21 @@
+/* 
+ * Copyright (c) 2010 Frantisek Simancik
+ * <[email protected]>, Yevgeny Kazakov
+ * <[email protected]> and University of Oxford
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
 #include <iostream>
 #include <cctype>
 

src/parser.h

@@ -1,3 +1,21 @@
+/* 
+ * Copyright (c) 2010 Frantisek Simancik
+ * <[email protected]>, Yevgeny Kazakov
+ * <[email protected]> and University of Oxford
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
 #ifndef PARSER_H_
 #define PARSER_H_
 

src/reasoner.cpp

@@ -1,3 +1,21 @@
+/* 
+ * Copyright (c) 2010 Frantisek Simancik
+ * <[email protected]>, Yevgeny Kazakov
+ * <[email protected]> and University of Oxford
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
 #include <iostream>
 #include <fstream>
 #include <sstream>
@@ -587,6 +605,7 @@ int main(int argc, char* argv[]) {
     for (int i = 1; i < argc; i++)  {
 
 	if (strcmp(argv[i], "-h") == 0 || strcmp(argv[i], "--help") == 0) {
+	    cout << "ConDOR r12" << endl;
 	    cout << endl;
 	    cout << "This is an experimental version of the ConDOR reasoner\n"
 		"for classification of SH ontologies. The input file must be\n"
@@ -600,7 +619,7 @@ int main(int argc, char* argv[]) {
 	    cout << "-i  (--input): follow by the input file" << endl;
 	    cout << "-n  (--nooutput): classify the ontology but suppress the output" << endl;
 	    cout << "-o  (--output): follow by the output file" << endl;
-	    cout << "-g  (--goals): follow by a file containing a list of classification goals" << endl;
+//	    cout << "-g  (--goals): follow by a file containing a list of classification goals" << endl;
 //	    cout << "-l  (--log): write performance log into condor.log" << endl;
 	    return 0;
 	}

src/role.cpp

@@ -1,3 +1,21 @@
+/* 
+ * Copyright (c) 2010 Frantisek Simancik
+ * <[email protected]>, Yevgeny Kazakov
+ * <[email protected]> and University of Oxford
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
 #include <queue>
 #include <cstring>
 

src/role.h

@@ -1,3 +1,21 @@
+/* 
+ * Copyright (c) 2010 Frantisek Simancik
+ * <[email protected]>, Yevgeny Kazakov
+ * <[email protected]> and University of Oxford
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ * http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
 #ifndef ROLE_H_
 #define ROLE_H_