Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- Time loading UMLS lexicon sources (s): 1.39
- Time initializing lexical utilities (s): 1.399
- OVERLAPPING
- IRI: http://logmap.cs.ox.ac.uk/ontology.owl
- Time loading ontology 1 (s): 0.787
- Ontology 1 Axioms (s): 1746
- Classes index: 1
- Classes labels: 1
- Size inverted file: 3
- Time processing ontology 1 (s): 0.018
- IRI: http://logmap.cs.ox.ac.uk/ontology.owl
- Time loading ontology 2 (s): 1.421
- Ontology 2 Axioms (s): 3551
- Classes index: 1
- Classes labels: 1
- Size inverted file: 3
- Time processing ontology 2 (s): 0.017
- LogMap 2 Loading Time (s): 2.208
- Size IF intersected: 3
- Time intersecting IF weak (s): 0.0
- Size entities 1: 1
- Size entities 2: 1
- Time extracting entities4modules (s): 0.024
- Size module 1: 1746
- Size module 2: 3551
- Size classes module 1: 2 0
- Size classes module 2: 2 0
- Time extracting modules (s): 0.0
- Time extracting overlapping (s): 2.272
- CLASSES: 2
- NUMBER OF DUMMY INDIVIDUALS: 0
- MAX SIZE ANNOTATIONS: 0
- MIN SIZE ANNOTATIONS: 5000
- Number of classes/labels: 1
- Number of labels + syn: 1
- Cases with huge combination of synonyms: 0
- Number of entries inverted file (exact): 2
- Number of dProp: 0
- Number of dProp inverted file: 0
- Number of oProp: 0
- Number of oProp inverted file: 0
- Number of Indiv: 0
- Number of Indiv inverted file: 0
- Number of Indiv weak inverted file: 0
- Number of Indiv Role assertions inverted file: 0
- Time setting labels and inverted files (s): 0.035
- CLASSES: 2
- NUMBER OF DUMMY INDIVIDUALS: 0
- MAX SIZE ANNOTATIONS: 0
- MIN SIZE ANNOTATIONS: 5000
- Number of classes/labels: 2
- Number of labels + syn: 1
- Cases with huge combination of synonyms: 0
- Number of entries inverted file (exact): 2
- Number of dProp: 0
- Number of dProp inverted file: 0
- Number of oProp: 0
- Number of oProp inverted file: 0
- Number of Indiv: 0
- Number of Indiv inverted file: 0
- Number of Indiv weak inverted file: 0
- Number of Indiv Role assertions inverted file: 0
- Time setting labels and inverted files (s): 0.008
- Time extracting lexicon and IF (s): 0.043
- IF Exact 1: 2
- IF Exact 2: 2
- Intersection IF Exact: 2
- IF Stemming 1: 2
- IF Stemming 2: 2
- Intersection IF Stemming: 2
- Entries in Weak IF from Setemming: 0
- Entries in Weak IF from Setemming: 0
- IF Weak 1: 2
- IF Weak 2: 2
- Intersection IF Weak: 2
- Time intersecting IF and extracting IF weak (s): 0.012
- Classifying 'AL' Ontology with MORe...
- Lsignature extraction took 9 milliseconds
- Lsignature of size 2
- 0 axioms in comp module
- HermiT took 17 milliseconds
- Error classifying ontology with MORe Reasoner
- Error/timeout setting up MORe reasoner. Using 'structural' reasoner instead.
- Representatives (aggregated): 0
- Disjoint: 0
- Equivalences: 0
- Big nodes: 0
- ->General HORN Axioms: 0
- Extracting General Axioms: 0.0
- Classifying 'AL' Ontology with MORe...
- Lsignature extraction took 1 milliseconds
- Lsignature of size 2
- 0 axioms in comp module
- HermiT took 4 milliseconds
- Error classifying ontology with MORe Reasoner
- Error/timeout setting up MORe reasoner. Using 'structural' reasoner instead.
- Representatives (aggregated): 0
- Disjoint: 0
- Equivalences: 0
- Big nodes: 0
- ->General HORN Axioms: 0
- Extracting General Axioms: 0.0
- Time extracting structural information (s): 0.34
- WEAK ANCHORS: 1
- Time creating all weak anchors (s): 0.001
- NullPointerException [class]
- NullPointerException [top]
- Time creating candidate subset of weak anchors (s): 0.004
- Time Parsing and Index Lexicon (s): 0.007
- ANCHOR DIAGNOSIS
- Time creating anchors (s): 0.001
- Num Anchors: 1
- SMALL PROJECTION
- -------------------------
- Size projection: 2
- TAX clause num: 0
- Equiv clause num: 0
- D&G DISJ clause num: 0
- D&G general axioms clause num: 0
- D&G mappings clause num: 2
- D&G mapping links: 2 0
- D&G mappings clause num: 2
- D&G mapping links: 0 0
- UNSAT found: 0
- Remaining hard cases onto from small projection (1 Iter): 0
- Time ckecking satisfiability with D&G (Small projection, simple cases) (s): 0.016
- ALL ONTOLOGY
- -------------------------
- TAX clause num: 0
- Equiv clause num: 0
- D&G DISJ clause num: 0
- D&G general axioms clause num: 0
- D&G mappings clause num: 2
- D&G mapping links: 2 0
- D&G mappings clause num: 2
- D&G mapping links: 0 0
- UNSAT found: 0
- Remaining hard cases all onto (1 Iter): 0
- Time ckecking satisfiability with D&G (Big projection, simple cases) (s): 0.001
- DISCARDED MAPPINGS: 0 -
- WEAKENED MAPPINGS: 0 - 0
- Clauses 2 ignore: 0
- Average mappings per conflict: NaN
- Max mappings per conflict: 0
- Min mappings per conflict: 10000
- Average size of repair: NaN
- Max size of repair: 0
- Min size of repair: 10000
- Average mappings in repair: NaN
- Max mappings per repair: 0
- Min mappings per repair: 10000
- Time cleaning anchors D&G (s): 0.025
- Num Anchors: 1
- Original entries DirectSubclasses: 2
- Original entries DirectSubclasses: 2
- Adapted entries DirectSubclasses: 1
- Adapted entries DirectSubclasses: 2
- Representatives from Mappings: 1
- Mapping entries (sub mappings): 2
- Classes with wrong/negative preorder (-1 or -d): 0
- Classes with wrong/negative descendants intervals (<-1,-1> or <-id,-id>): 0
- Time Getting Disjoint Intervals (merged) (s): 0.005
- There are non unsatisfiable clases (non-empty intersection of disjoint intervals))
- Time indexing hierarchy + anchors (ILS) (s): 0.006
- CANDIDATE DIAGNOSIS 1
- assessAnchors2Review()
- createCandidates4StemmingLikeAnchors()
- createCandidates4WeakAnchors()
- createMappings2AskUser()
- Time creating candidates (s): 0.001
- SMALL PROJECTION
- -------------------------
- Size projection: 2
- TAX clause num: 0
- Equiv clause num: 0
- D&G DISJ clause num: 0
- D&G general axioms clause num: 0
- D&G mappings clause num: 0
- D&G mapping links: 0 0
- D&G mappings clause num: 2
- D&G mapping links: 2 0
- UNSAT found: 0
- Remaining hard cases onto from small projection (1 Iter): 0
- Time ckecking satisfiability with D&G (Small projection, simple cases) (s): 0.006
- ALL ONTOLOGY
- -------------------------
- TAX clause num: 0
- Equiv clause num: 0
- D&G DISJ clause num: 0
- D&G general axioms clause num: 0
- D&G mappings clause num: 0
- D&G mapping links: 0 0
- D&G mappings clause num: 2
- D&G mapping links: 2 0
- UNSAT found: 0
- Remaining hard cases all onto (1 Iter): 0
- Time ckecking satisfiability with D&G (Big projection, simple cases) (s): 0.001
- DISCARDED MAPPINGS: 0 -
- WEAKENED MAPPINGS: 0 - 0
- Clauses 2 ignore: 0
- Average mappings per conflict: NaN
- Max mappings per conflict: 0
- Min mappings per conflict: 10000
- Average size of repair: NaN
- Max size of repair: 0
- Min size of repair: 10000
- Average mappings in repair: NaN
- Max mappings per repair: 0
- Min mappings per repair: 10000
- Time cleaning new candidates D&G (s): 0.007
- Num Anchors: 1
- Original entries DirectSubclasses: 2
- Original entries DirectSubclasses: 2
- Adapted entries DirectSubclasses: 1
- Adapted entries DirectSubclasses: 2
- Representatives from Mappings: 1
- Mapping entries (sub mappings): 2
- Classes with wrong/negative preorder (-1 or -d): 0
- Classes with wrong/negative descendants intervals (<-1,-1> or <-id,-id>): 0
- Time Getting Disjoint Intervals (merged) (s): 0.009
- There are non unsatisfiable clases (non-empty intersection of disjoint intervals))
- Time indexing hierarchy + anchors and candidates I (ILS) (s): 0.011
- Assessing mappings to ask user.
- ---------------------
- All Candidate mappings: 1
- Good Candidate mappings: 0
- ---------------------
- LogMap anchors: 1
- Good LogMap anchors: 0
- Precision LogMap anchors: 0.0
- Recall LogMap anchors: NaN
- Fmeasure LogMap anchors: NaN
- ---------------------
- LogMap 2 ask mappings: 0
- Good LogMap 2ask mappings: 0
- ---------------------
- LogMap split mappings: 0
- Good LogMap split mappings: 0
- ---------------------
- LogMap discarded mappings: 0
- Good LogMap discarded mappings: 0
- ---------------------
- LogMap hard discarded mappings: 0
- Good LogMap hard discarded mappings: 0
- ---------------------
- LogMap conflictive mappings: 0
- Good LogMap conflictive mappings: 0
- ---------------------
- LogMap conflictive mappings D&G: 0
- Good LogMap conflictive mappings D&G: 0
- ---------------------
- All Candidates recount: 1
- Good Candidates recount: 0
- ---------------------
- CANDIDATE DIAGNOSIS 2
- Oracle is not active. Performing automatic decisions.
- Second chance to mappings discarded by Dowling and Gallier.
- Mappings with second chance: 0 in GS: 0
- SMALL PROJECTION
- -------------------------
- Size projection: 2
- TAX clause num: 0
- Equiv clause num: 0
- D&G DISJ clause num: 0
- D&G general axioms clause num: 0
- D&G mappings clause num: 0
- D&G mapping links: 0 0
- D&G mappings clause num: 2
- D&G mapping links: 2 0
- UNSAT found: 0
- Remaining hard cases onto from small projection (1 Iter): 0
- Time ckecking satisfiability with D&G (Small projection, simple cases) (s): 0.002
- ALL ONTOLOGY
- -------------------------
- TAX clause num: 0
- Equiv clause num: 0
- D&G DISJ clause num: 0
- D&G general axioms clause num: 0
- D&G mappings clause num: 0
- D&G mapping links: 0 0
- D&G mappings clause num: 2
- D&G mapping links: 2 0
- UNSAT found: 0
- Remaining hard cases all onto (1 Iter): 0
- Time ckecking satisfiability with D&G (Big projection, simple cases) (s): 0.0
- DISCARDED MAPPINGS: 0 -
- WEAKENED MAPPINGS: 0 - 0
- Clauses 2 ignore: 0
- Average mappings per conflict: NaN
- Max mappings per conflict: 0
- Min mappings per conflict: 10000
- Average size of repair: NaN
- Max size of repair: 0
- Min size of repair: 10000
- Average mappings in repair: NaN
- Max mappings per repair: 0
- Min mappings per repair: 10000
- Time cleaning interactive mappings D&G (s): 0.007
- ---------------------
- LogMap asked heuristics: 0
- ---------------------
- Dirty anchors Object Prop: 0
- Assessing Object Property mappings: 0, to delete: 0
- Dirty anchors Data Prop: 0
- Assessing Data Property mappings: 0, to delete: 0
- Size IF intersection exact: 0
- NUmber of Instance mappings exact IF: 0 - 0
- NUM INCOMPATIBLE INDIV MAPPINGS: 0
- Sife IF intersection weak: 0
- NUmber of Instance mappings exact+weak IF: 0 - 0
- NUM INCOMPATIBLE INDIV MAPPINGS: 0
- Size role assetions: 0
- NUmber of Instance mappings exact+weak+roleass IF: 0 - 0
- NUM INCOMPATIBLE INDIV MAPPINGS: 0
- The given output path is not absolute or it does not exist. The output mappings cannot be stored.
- Average time taxonomic queries: 0.0. Total: 0.0. Num calls: 0
- Average time disjointness queries: 0.0. Total: 0.0. Num calls: 0
- Number of computed mappings: 1
- TOTAL MATCHING TIME (s): 4.248
- IRI: http://logmap.cs.ox.ac.uk/ontology.owl
- IRI: http://logmap.cs.ox.ac.uk/ontology.owl
- Evaluating impact...
- Axioms onto1: 1746
- Axioms onto2: 3551
- Mapping Axioms: 1
- Classifying 'AL' Ontology with HermiT...
- Done, Time (s): 0.001
- UNSAT classes: 0
- Time extracting unsat classes (s): 0.003
- Num unsat classes after integration: 0
- Time checking impact integration (s): 0.751
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement