> ? [some pm#document_element] [pm#graph1_on_written_material [any #written_material (^$(no inheritance)$^), may have for dc#Coverage: a pm#thing, may have for pm#title: a pm#string, may be pm#object of: a #publishing, pm#result of: a #writing, pm#authoring_date: a pm#time_measure, may have for pm#author: a #person, may have for dc#Creator: a pm#string, may be pm#part of: a #book, 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_publication [any #publication (^$(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, may have for pm#editor: an #editor, 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_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#graph35_on_article [any #article (^$(no inheritance)$^), may have for dc#Coverage: a pm#thing, may have for pm#title: a pm#string, may be 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, may be pm#part of: a #book, may be pm#in_proceedings of: a #conference, 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_person [any #person (^Civil status^), #first_name: a pm#string, may have for pm#middle_name: a pm#string, may have for #surname: a pm#string, may have for #maiden_name: a pm#string, may have for pm#previous_surname: a pm#string, may have for #alias: a pm#string, may have for #pseudonym: a pm#string, pm#experiencer of: a #birth, may be #citizen of: a #country (^$(explore)$^), may have for pm#identifier (^$(explore)$^): a pm#string, may have for pm#email_address: a pm#string, may have for pm#phone_No (^$(explore)$^): a pm#string, may have for pm#home_page: a pm#document_element, may have for pm#address (^$(explore)$^): an #address, pm#kind: pm#male_or_female_person (^$(explore 1)$^), pm#kind: pm#in_relationship_person (^$(explore 1)$^)] ]; [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_article [an #article, dc#Coverage: km#knowledge_representation, pm#title: "What Is a Knowledge Representation?", dc#Creator: "Randall Davis, Howard E. Shrobe and Peter Szolovits", pm#object of: (a #publishing, pm#time: 1993 , pm#place: (the #object_section "14:1 p17-33", pm#part of: is#AI_Magazine)), pm#url: http://medg.lcs.mit.edu/ftp/psz/k-rep.html] ](06/05/2024); [km#graph2_on_article [an #article, dc#Coverage: km#knowledge_translation, pm#title: "Relationships with other formalisms", dc#Creator: "D. Nardi, U. Sattler, D. Calvanese, R. Molitor", pm#part of: (a #book, pm#title: "Relationships with other formalisms", pm#object of: (a #publishing, pm#time: 2002 , pm#agent: is#Cambridge_University_Press)), pm#url: http://www.itee.uq.edu.au/~comp4001/dlbackground2.pdf] ](06/05/2024); [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#graph23_on_article [an #article, dc#Coverage: km#FCA_domain, pm#title: "Formal Concept Analysis: Mathematical Foundations", dc#Creator: "Bernhard Ganter, Rudolf Wille", pm#object of: (a #publishing, pm#time: 1999 , pm#agent: is#Springer_Verlag), pm#url: http://www.math.tu-dresden.de/~ganter/FCAbooks.html] ](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#graph25_on_article [an #article, dc#Coverage: {km#FCA_attribute_exploration,km#FCA_concept_exploration}, pm#title: "Explorations tools in Formal Concept Analysis", dc#Creator: "Gerd Stumme", pm#object of: (a #publishing, pm#time: 1996 , pm#agent: is#Springer_Verlag), pm#url: http://www.aifb.uni-karlsruhe.de/WBS/gst/publications.shtml] ](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); [pm#graph1_on_file [any #file, may have for pm#url: a pm#URL, pm#result of: a #writing, pm#authoring_date: a pm#time_measure, may have for pm#creator: a #person, may have for dc#Creator: a pm#string, may have for #size: a #computer_memory_unit, may have for pm#format: a #data_format, may have for pm#title: a pm#string, may have for dc#Coverage: a pm#thing, pm#descr of: a pm#situation] ]; [pm#graph1_on_WebKB-2 [km#WebKB-2, pm#part: the pm#documentation http://www.webkb.org/doc/w2doc.html] ](15/10/2000); [wotif#graph1_on_http://www.wotif.com/Accommodation/viewdeal.asp?PropID=3959 [the #resort_hotel http://www.wotif.com/Accommodation/viewdeal.asp?PropID=3959, pm#name: "BreakFree Caribbean Resort", pm#phone_No: "(07) 5444-7311", #address: "17-19 Brisbane Rd, Mooloolaba, QLD 4557", pm#cost_per_day: 140 to 200 #Australian_dollar, pm#star_rating: 4.5, pm#minimum_number_of_nights: 3, pm#check-in: at least 14:00, pm#check-out: at most 10:00, pm#home_page: http://www.coastescape.com, pm#City_Search_ID: 4.55764e+07, pm#latitude: -266941, pm#longitude: 1.53115e+06] ](06/05/2024); [wotif#graph1_on_http://www.wotif.com/Accommodation/viewdeal.asp?PropID=3492 [the pm#hotel_with_apartments http://www.wotif.com/Accommodation/viewdeal.asp?PropID=3492, pm#name: "Nautilus Noosa", pm#phone_No: "(07) 5449-9188", #address: "124 Noosa Pde, Noosaville, QLD 4566", pm#cost_per_day: 99 to 105 #Australian_dollar, pm#star_rating: 3.5, pm#minimum_number_of_nights: 2, pm#check-in: at least 12:00, pm#check-out: at most 10:00, pm#home_page: http://www.nautilusnoosa.com.au, pm#City_Search_ID: 4.51135e+07, pm#latitude: -263941, pm#longitude: 1.53076e+06] ](06/05/2024); //17 graphs printed //Search time: 0.00055 s, printing time: 0.005 s (according to the Unix function gettimeofday())