001package conexp.fx.gui.dataset; 002 003/* 004 * #%L 005 * Concept Explorer FX 006 * %% 007 * Copyright (C) 2010 - 2023 Francesco Kriegel 008 * %% 009 * This program is free software: you can redistribute it and/or modify 010 * it under the terms of the GNU General Public License as 011 * published by the Free Software Foundation, either version 3 of the 012 * License, or (at your option) any later version. 013 * 014 * This program is distributed in the hope that it will be useful, 015 * but WITHOUT ANY WARRANTY; without even the implied warranty of 016 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 017 * GNU General Public License for more details. 018 * 019 * You should have received a copy of the GNU General Public 020 * License along with this program. If not, see 021 * <http://www.gnu.org/licenses/gpl-3.0.html>. 022 * #L% 023 */ 024 025import java.util.Set; 026 027//import org.semanticweb.owlapi.model.IRI; 028 029import conexp.fx.core.collections.Pair; 030//import conexp.fx.core.dl.deprecated.OWLInterpretation; 031import conexp.fx.core.util.IdGenerator; 032import conexp.fx.gui.ConExpFX; 033import conexp.fx.gui.assistent.InducedContextAssistent; 034import javafx.scene.control.ChoiceBox; 035import javafx.scene.control.Label; 036import javafx.scene.control.ListView; 037import javafx.scene.layout.BorderPane; 038import javafx.scene.layout.HBox; 039 040@Deprecated 041public class DLDataset extends Dataset { 042 043// public class DomainWidget { 044// 045// private final BorderPane contentPane; 046// 047// public DomainWidget() { 048// super(); 049// this.contentPane = new BorderPane(); 050// final ListView<IRI> listView = new ListView<IRI>(); 051//// listView.getItems().addAll(interpretation.getDomain()); 052// contentPane.setCenter(listView); 053// } 054// 055// } 056// 057// public class ConceptWidget { 058// 059// private final BorderPane contentPane; 060// 061// public ConceptWidget() { 062// super(); 063// this.contentPane = new BorderPane(); 064// final Label conceptLabel = new Label("Concept Name"); 065// final ChoiceBox<IRI> conceptChoiceBox = new ChoiceBox<IRI>(); 066//// conceptChoiceBox.getItems().addAll(interpretation.getSignature().getConceptNames()); 067// final ListView<IRI> listView = new ListView<IRI>(); 068// conceptChoiceBox.getSelectionModel().selectedItemProperty().addListener((observable, oldValue, newValue) -> { 069// listView.getItems().clear(); 070//// listView.getItems().addAll(interpretation.getConceptNameExtension(newValue)); 071// }); 072// contentPane.setTop(new HBox(conceptLabel, conceptChoiceBox)); 073// contentPane.setCenter(listView); 074// conceptChoiceBox.getSelectionModel().selectFirst(); 075// } 076// } 077// 078// public class RoleWidget { 079// 080// private final BorderPane contentPane; 081// 082// public RoleWidget() { 083// super(); 084// this.contentPane = new BorderPane(); 085// final Label roleLabel = new Label("Role Name"); 086// final ChoiceBox<IRI> roleChoiceBox = new ChoiceBox<IRI>(); 087//// roleChoiceBox.getItems().addAll(interpretation.getSignature().getRoleNames()); 088// final ListView<Pair<IRI, IRI>> listView = new ListView<Pair<IRI, IRI>>(); 089// roleChoiceBox.getSelectionModel().selectedItemProperty().addListener((observable, oldValue, newValue) -> { 090// listView.getItems().clear(); 091//// listView.getItems().addAll(interpretation.getRoleNameExtension(newValue)); 092// }); 093// contentPane.setTop(new HBox(roleLabel, roleChoiceBox)); 094// contentPane.setCenter(listView); 095// roleChoiceBox.getSelectionModel().selectFirst(); 096// } 097// } 098 099// public final OWLInterpretation interpretation; 100 101 public DLDataset(final Dataset parent 102// , final OWLInterpretation interpretation 103 ) { 104 super(parent); 105// this.interpretation = interpretation; 106 this.id.set("Model " + IdGenerator.getNextId(ConExpFX.instance)); 107// this.views 108// .add(new DatasetView<Set<IRI>>("Individuals", new DomainWidget().contentPane, interpretation.getDomain())); 109// this.views.add( 110// new DatasetView<Set<IRI>>( 111// "Concept Names", 112// new ConceptWidget().contentPane, 113// interpretation.getSignature().getConceptNames())); 114// this.views.add( 115// new DatasetView<Set<IRI>>( 116// "Role Names", 117// new RoleWidget().contentPane, 118// interpretation.getSignature().getRoleNames())); 119 this.defaultActiveViews.add("Individuals"); 120// this.actions 121// .add(new DatasetAction("New Induced Context...", () -> new InducedContextAssistent(this).showAndWait())); 122 } 123 124 @Override 125 public void save() { 126 // TODO Auto-generated method stub 127 128 } 129 130 @Override 131 public void saveAs() { 132 // TODO Auto-generated method stub 133 134 } 135 136 @Override 137 public void export() { 138 // TODO Auto-generated method stub 139 140 } 141 142 @Override 143 public void close() { 144 // TODO Auto-generated method stub 145 146 } 147 148}