I was a bit late, but here we go!<\/p>\n
Chris Mungal asked yesterday for a link to the papers and\/or slides. Here’s the link to proceedings:<\/p>\n
http:\/\/ceur-ws.org\/Vol-1265\/<\/a><\/p>\n I’ll try to go back and link through directly and call for slides.<\/p>\n Tahani Alsubait, Bijan Parsia and Uli Sattler. Generating Multiple Choice Questions From Ontologies: Lessons Learnt<\/a> presented by Tahani<\/strong><\/p>\n What is a MCQ and it’s parts (stem, key, distractors) MCQ generation is difficult and time consuming and you need a lot of them (exam coverage, security, and practice exams).<\/p>\n Automation! Similarly conjecture (degree of similarity between keys and distractors is proportional to difficulty). Existing measures didn’t work so we developed new ones (see ISWC poster).<\/p>\n Key questions: Can we control difficulty? Can we generate exams? Is it cost effective?<\/p>\n Experiment description: 1) Build ontology. 2) Generate questions. 3) Expert (3 — Two instructors and one domain expert) review. 4) Test with students.<\/p>\n Two rounds of student tests (in review session and online).<\/p>\n Usefulness rating: High heterogenity (only 1 question agreed upon by all reviewers). Check out the tool: QA<\/strong><\/p>\n QUESTION: About reusability: Often the labels are general and not specific for domains, so may not be suitable. I.e., reusability in general might hurt applicability.<\/p>\n Catherine Chavula and C. Maria Keet. Is Lemon Sufficient for Building Multilingual Ontologies for Bantu Languages?<\/a> presented by Maria.<\/strong><\/p>\n Need to be able to write things in one’s own language (and there are a lot of languages).<\/p>\n OWL has challenges (e.g., Manchester syntax not suitable for Spanish). Some approaches separate linguistic and ontological layer. Community Group ontolex-lemon.<\/p>\n Bantu langauges: spoken by >200 million. Being picked up by the likes of Microsoft, Google, and Facebook.<\/p>\n Each noun (in Bantu) \u00a0(class in OWL) have between 10 and 23 noun classes. Complexity which must be captured!<\/p>\n “Concordial agreement of verb with nc of noun of OWL class)<\/p>\n No Semantic Web stuff for Bantu. Some XML. Some work on multilingual ontologies.<\/p>\n lemon<\/em> defines verbalisation of ontological elements in a particular language. To address this, developed a Noun Class Ontology (small, e.g., 42 classes, 6 op, and 130 axioms.).<\/p>\n Word variation.\u00a0lemon<\/em> generally uses Perl like regexs. Chichewa has too much complexity for this.<\/p>\n Agglutination is a challenge.<\/p>\n Application: Lexicalise FOAF and GoodRelations in Chichewa.<\/p>\n (foaf:knows requires a big chunk of rules!)<\/p>\n FOAF: 1:1 correspondence for classes; some odd things; object properties are usually verb phrases; data properties are easier. FOAF lemon <\/i>covers 90% of foaf.<\/p>\n GoodRelation: Very domain specific thus difficult due to lack of terms in Chichewa. Only 25% of the entities were lexicalized.<\/p>\n http:\/\/www.meteck.org\/files\/ontologies\/<\/a><\/p>\n QA<\/strong><\/p>\n QUESTION: What are the actual remaining problems with OWL re: multilingualism? Annotations don’t quite do it. Like name of the OP property varying with type of object. Matteo Matassoni, Marco Rospocher, Mauro Dragoni and Paolo Bouquet. Authoring OWL 2 ontologies with the TEX-OWL syntax<\/a> presented by Mauro.<\/strong><\/p>\n Motivation: Write onts quicky; XML syntaxes are verbose; don’t want to learn heavy tool.<\/p>\n https:\/\/github.com\/matteomatassoni\/TexOwl\/blob\/master\/docs\/grammar.pdf<\/a><\/p>\n Example animal \\c == Class(Animal). Evaluation:<\/p>\n Two task: Results: Latex near as good s Manchester on intuitiveness and better than everything else. Concision, latex was way ahead with functional next (9.7;5.3)<\/p>\n re ont building: Difficulty 3.5, syntax easy to remember 3.17. Compare to prior syntax 3.67 (all on 5 point scale).<\/p>\n Come see the poster!<\/p>\n http:\/\/dkmlab.fbk.eu:8080\/converter-webapp<\/a><\/p>\n QA<\/strong><\/p>\n QUESTION: Does it work with latex files? Nope! Alessandro Solimando, Ernesto Jimenez-Ruiz and Giovanna Guerrini. A Multi-strategy Approach for Detecting and Correcting Conservativity Principle Violations in Ontology Alignments<\/a>\u00a0<\/strong>presented by Alessandro.<\/strong><\/p>\n Ontology matching problem (same domain, variant modelling, how to align?)<\/p>\n Three matching principles: consistency principle (no new incoherent classes), conservatively principle (no new entailments inside a single signature), locality (map neighbourhoods)<\/p>\n Conservativity (Deductive)\/Deductive differnce (are there different entailments over a given signature).<\/p>\n Approach: Approx diff (atomic); use modularisation, projection to propositional horn, reuse semantic\u00a0indexing from LogMap to help scalability; disjointness assumption [Sch05] helps basic violation reduction to sat; equivalence violations detected using answer set programming<\/p>\n [[sorry, had to prepare for covering the next talk![[<\/p>\n Lots of violations in experiments. Reasonable computation time (80secs) 30 million violations in some cases!!!<\/p>\n Birte Glimm, Yevgeny Kazakov, Ilianna Kollia and Giorgos Stamou. OWL Query Answering based on Query Extension<\/a>\u00a0<\/strong>presented by Bijan<\/strong><\/p>\n (Links to slides and explanatory text coming soon)<\/p>\n Marcelo Arenas, Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska and Dmitriy Zheleznyakov. Enabling Faceted Search over OWL 2 with SemFacet<\/a> presented by Evgeny<\/strong><\/p>\n Tons of data and ontologies. Lots of work on faceted search on semantic web. What’s the common principle? Variance in systems is within this paradigm (what you can filter, what filters to add, etc.)<\/p>\n Existing Solutions: Don’t use ontologies but are data driven; no theoretical underpinnings (e.g., what fragments of SPARQL are covered; complexity of those fragments; formal capture of update)<\/p>\n Formalised faceted interface tailored toward RDF and OWL abstracted from GUI. Simple mapping of facets to predicates and conjunctions and disjunctions. Then translate to FO (i.e., positive Existential formulas, monadic, directed tree rooted at free variable; disjunctive connected share one variable).<\/p>\n Combined complexity: Faceted query answering over RDF datasets is tractable. WRT to \u00a0(active domain) RL (p-Complete), EL p-complete, QL, in P; (classic semantics) RL: P-complete; EL (guarded) P-Complete; QL NP-complete.<\/p>\n Bottom up evaluation.<\/p>\n Interface generation & update. Algos guided by ontology and data. Every facet in the initial interface is justified by an entailment.<\/p>\n Each update is semantically justified><\/p>\n Facet graph. Project ont and data on graph. Nodes are possible facet values. Edges are facet names. Every edge must be justified by an entailed axiom or fact.<\/p>\n Systesm (SemFacet) combines keyword and faceted search. Keynote: Claudia d\u2019Amato. Machine Learning for Ontology Mining: Perspectives and Issues<\/strong><\/p>\n Use ML for Ontology mining Instance retrieval regarded as a classification problem; challenging for State of the Art\u00a0ML Classification<\/p>\n Solutions: New semantic similarity measures for DL representations; cope with all problems<\/p>\n Problem Definton: Given a populated ontology, a query concept, and training set with +1 0 -1 as targets learn a classification st f(a) = +1 if a in Q, -1 if in ~Q, and 0 otherwise. Example, nearest neighbour (given a similarity metric) voting.<\/p>\n How to evaluate classifiers. Commission and omission rates are basically null; induction rate is not null! New knowledge (perhaps supporting semi-automated ontology population) Concept Drift and Novelty Detection via Conceptual clustering methods<\/p>\n Clustering: Intra-cluster similarity is high and inter-cluster similarity is low.<\/p>\n (Key idea: Global Decision boundary; if new candidate cluster is out side, then it’s either novel or drift depending how it relates to existing clusters)<\/p>\n Evaluation needs domain expert \ud83d\ude41<\/p>\n How to learn intensional description of the new clusters (separate and conquer vs. divide and conquer)<\/p>\n Ontology enrichment as pattern discovery problem<\/p>\n [[holy moly, a lot more stuff; learning DL Safe rules for a variety of things using a variety of techniques]]<\/p>\n Data driven tableaux — drive\/guide the reasoning process using data induced rules.<\/p>\n QA ORE report slides and stuff coming<\/strong> Feature popularity contest<\/strong> <\/p>\n","protected":false},"excerpt":{"rendered":" I was a bit late, but here we go! Chris Mungal asked yesterday for a link to the papers and\/or slides. Here’s the link to proceedings: http:\/\/ceur-ws.org\/Vol-1265\/ I’ll try to go back and link through directly and call for slides. … Continue reading
\n
\nExample of good and bad distractors.
\nWhat makes a good one: Item response theory: Tuned difficulty, low guess ability, and right discrimination.<\/p>\n
\nDifficulty prediction. Needed to increase validity and exam quality. People are bad at it.<\/p>\n
\nDistractor utility: For all 6 questions, 2 out of 3 distractor.
\n5 out of 6 questions the key was picked more frequently than the distractors.
\nDiscrimination: in class better than online
\nDifficulty: 4 out of 6 correctly predicted by tool.<\/p>\n
\nhttp:\/\/edutechdeveloper.com\/MCQGen<\/p>\n
\n
\nWe need a lot more linguistic annotation than alternative terms.<\/p>\n
\nlemon\u00a0<\/i>advocates GOLD and ISOcat which don’t do the job for Bantu noun classes. E.g., \u00a0nc is like gender but with semantic significance.<\/p>\n
\nQUESTION: Is this a problem with programming languages as well? Yes, people are tackling it.
\nQUESTION: You mentioned issues with Manchester Syntax, can we localise it by varying things a bit? No, it’s much harder. [Ed; Much much harder!]<\/p>\n
\n
\nanimal \\cdisjoint plant.
\nbranch \\cisa \\oforall{is_part_of}{tree}<\/p>\n
\nsurveys\u00a0http:\/\/goog.gl\/Cjpqtg<\/a>\u00a010 examples for intuitiveness, conciseness, and understandability
\nusability for writing\u00a0small ontology<\/p>\n
\nQUESTION: What are\u00a0the characteristics of the participants? See poster!
\nPOINT: The fragments displayed are non equivalent in many ways.
\nQUESTION: Do you need declarations in your syntax? Need to check grammar.<\/p>\n
\n
\nFully automated and “conservative” repair (as well as detection)<\/p>\n
\n
\n
\nWhat can we do with it? SPARQL Queries (yeek!); Controlled Natural Languages for query (e.g., Quelo); Visual Query formulation (geek); and Faceted Search!<\/p>\n
\nFaceted Search over RDF<\/p>\n\n
\nStudy expressive power and complexity
\nStudy interface generation and update
\nResult: SemFacet system (scales to millions of triples).<\/p>\n
\nAuto generation of f-search
\nIn memory
\nonline and off lien reasoning
\nScales to millions of triples
\nConfigurable<\/p>\n
\n
\nInductive learning (robust)
\nSupervised, Unsupervised & semi-supervised\u00a0concept learning (basic refresher)<\/p>\n\n
\nDuel problem, given individual find all C it bellows to<\/p>\n
\nCompare to standard reasoner (Pellet) but this didn’t help with the “new” knowledge
\nAdded evaluation parameter, match rate, omission error rate, commission error rate, induction rate: Key bit: classic reasoner is indecisive and Classifier is determined<\/p>\n
\nMost of the time the most effective method is relational K-NM
\nMost scalable kernal method embedded in blah balh<\/p>\n
\n<\/strong>QUESTION: Is the data driven tableau for unsound inferences or for optimisation? Both!
\nQUESTION: Tell us a bit more about scalability? What’s the size of the ontologies? Started with toy onts with 1000s of individuals. Scaling up!<\/p>\n
\n
\n <\/p>\n
\n
\n <\/p>\n
\n