> ? [some #report] [pm#graph1_on_report [any #report (^$(no inheritance)$^), may have for dc#Coverage: a pm#thing, may have for pm#title: a pm#string, pm#object of: a #publishing, pm#result of: a #writing, pm#authoring_date: a pm#time_measure, may have for pm#author: several #person, may have for dc#Creator: a pm#string, pm#descr of: a pm#situation, may have for dc#Source: a pm#document_element, may have for pm#url: a pm#URL] ]; [pm#graph1_on_research_staff [any #research_staff (^$(no inheritance)$^), may have for #project: a #project, pm#member: several #person, may have for #publication: several #publication, may have for #report: several #report, may have for #software: several #software, may have for rdfs#see_also: several pm#entity, may have for pm#home_page: a pm#document_element] ]; [km#graph1_on_PhD_thesis [the pm#PhD_thesis, dc#Coverage: km#type_classification, pm#title: "Ontology Learning for the Semantic Web", dc#Creator: "A. Maedche", pm#url: http://www.wkap.nl/prod/b/0-7923-7656-0] ](06/05/2024); [km#graph2_on_PhD_thesis [the pm#PhD_thesis, dc#Coverage: km#FCA_concept_exploration, pm#title: "Distribute Concept Exploration - A Knowledge Acquisition Tool in Formal Concept Analysis", dc#Creator: "Gerd Stumme", pm#object of: (a #publishing, pm#time: 1999 , pm#place: pm#Darmstadt), pm#url: {http://www.aifb.uni-karlsruhe.de/WBS/gst/publications.shtml,http://dbah.int.gu.edu.au/kvo/reading/}] ](06/05/2024); [km#graph3_on_PhD_thesis [the pm#PhD_thesis, dc#Coverage: km#FCA_concept_graph_with_negation, pm#title: "The Logic System of Concept Graphs with Negation", dc#Creator: "Frithjof Dau", pm#url: http://www.kvocentral.com/reports/dau.pdf] ](06/05/2024); //Search time: 0.00045 s, printing time: 0.005 s (according to the Unix function gettimeofday())