001    // This file is part of AceWiki.
002    // Copyright 2008-2012, AceWiki developers.
003    // 
004    // AceWiki is free software: you can redistribute it and/or modify it under the terms of the GNU
005    // Lesser General Public License as published by the Free Software Foundation, either version 3 of
006    // the License, or (at your option) any later version.
007    // 
008    // AceWiki is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without
009    // even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
010    // Lesser General Public License for more details.
011    // 
012    // You should have received a copy of the GNU Lesser General Public License along with AceWiki. If
013    // not, see http://www.gnu.org/licenses/.
014    
015    package ch.uzh.ifi.attempto.acewiki.core;
016    
017    import java.util.ArrayList;
018    import java.util.HashMap;
019    import java.util.List;
020    import java.util.Map;
021    
022    /**
023     * This dummy class is a reasoner without reasoning features.
024     * 
025     * @author Tobias Kuhn
026     */
027    public class DummyReasoner implements AceWikiReasoner {
028    
029            public void init(Ontology ontology) {
030            }
031            
032            public String getReasonerName() {
033                    return "";
034            }
035            
036            public String getReasonerVersion() {
037                    return "";
038            }
039            
040            public String getReasonerType() {
041                    return "No reasoner";
042            }
043            
044            public Map<String, String> getInfo() {
045                    return new HashMap<String, String>();
046            }
047            
048            public void load() {
049            }
050            
051            public void loadElement(OntologyElement element) {
052            }
053            
054            public void unloadElement(OntologyElement element) {
055            }
056            
057            public void flushElements() {
058            }
059            
060            public List<Concept> getConcepts(Individual ind) {
061                    return new ArrayList<Concept>();
062            }
063            
064            public List<Individual> getIndividuals(Concept concept) {
065                    return new ArrayList<Individual>();
066            }
067            
068            public List<Concept> getSuperConcepts(Concept concept) {
069                    return new ArrayList<Concept>();
070            }
071            
072            public List<Concept> getSubConcepts(Concept concept) {
073                    return new ArrayList<Concept>();
074            }
075            
076            public List<AnswerElement> getAnswer(Question question) {
077                    return new ArrayList<AnswerElement>();
078            }
079            
080            public boolean isConsistent() {
081                    return true;
082            }
083            
084            public boolean isSatisfiable(Concept concept) {
085                    return true;
086            }
087            
088            public void loadSentence(Sentence sentence) {
089            }
090            
091            public void unloadSentence(Sentence sentence) {
092            }
093    
094    }