SG11201400834VA - System and method for mathematics ontology extraction and research - Google Patents

System and method for mathematics ontology extraction and research

Info

Publication number
SG11201400834VA
SG11201400834VA SG11201400834VA SG11201400834VA SG11201400834VA SG 11201400834V A SG11201400834V A SG 11201400834VA SG 11201400834V A SG11201400834V A SG 11201400834VA SG 11201400834V A SG11201400834V A SG 11201400834VA SG 11201400834V A SG11201400834V A SG 11201400834VA
Authority
SG
Singapore
Prior art keywords
mathematics
research
ontology extraction
ontology
extraction
Prior art date
Application number
SG11201400834VA
Inventor
Mark S Crouse
Caroline Mcholme Beam
Original Assignee
Valuecorp Pacific Inc
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Valuecorp Pacific Inc filed Critical Valuecorp Pacific Inc
Publication of SG11201400834VA publication Critical patent/SG11201400834VA/en

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
    • G06F16/30—Information retrieval; Database structures therefor; File system structures therefor of unstructured textual data
    • G06F16/36—Creation of semantic tools, e.g. ontology or thesauri
    • G06F16/367—Ontology
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
    • G06F16/20—Information retrieval; Database structures therefor; File system structures therefor of structured data, e.g. relational data
    • G06F16/25—Integrating or interfacing systems involving database management systems
    • G06F16/254—Extract, transform and load [ETL] procedures, e.g. ETL data flows in data warehouses
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
    • G06F16/30—Information retrieval; Database structures therefor; File system structures therefor of unstructured textual data
    • G06F16/31—Indexing; Data structures therefor; Storage structures
    • G06F16/316—Indexing structures
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F16/00—Information retrieval; Database structures therefor; File system structures therefor
    • G06F16/90—Details of database functions independent of the retrieved data types
    • G06F16/93—Document management systems

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Databases & Information Systems (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Data Mining & Analysis (AREA)
  • Software Systems (AREA)
  • Business, Economics & Management (AREA)
  • General Business, Economics & Management (AREA)
  • Life Sciences & Earth Sciences (AREA)
  • Animal Behavior & Ethology (AREA)
  • Computational Linguistics (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
SG11201400834VA 2011-09-21 2012-09-21 System and method for mathematics ontology extraction and research SG11201400834VA (en)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
US201161537501P 2011-09-21 2011-09-21
PCT/US2012/056754 WO2013044170A1 (en) 2011-09-21 2012-09-21 System and method for mathematics ontology extraction and research

Publications (1)

Publication Number Publication Date
SG11201400834VA true SG11201400834VA (en) 2014-04-28

Family

ID=47914936

Family Applications (1)

Application Number Title Priority Date Filing Date
SG11201400834VA SG11201400834VA (en) 2011-09-21 2012-09-21 System and method for mathematics ontology extraction and research

Country Status (5)

Country Link
US (3) US8727780B2 (en)
AU (1) AU2012312055B2 (en)
CA (1) CA2849292A1 (en)
SG (1) SG11201400834VA (en)
WO (1) WO2013044170A1 (en)

Families Citing this family (29)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US9454528B2 (en) * 2011-10-17 2016-09-27 Xerox Corporation Method and system for creating ordered reading lists from unstructured document sets
US8839124B2 (en) * 2012-08-03 2014-09-16 Yokogawa Electric Corporation Apparatus for configuring a diagnostics module for an industrial plant
US10810245B2 (en) * 2013-01-17 2020-10-20 Adobe Inc. Hybrid method of building topic ontologies for publisher and marketer content and ad recommendations
US10264090B2 (en) * 2013-02-27 2019-04-16 Pavlov Media, Inc. Geographical data storage assignment based on ontological relevancy
US10599623B2 (en) 2013-03-15 2020-03-24 Locus Lp Matching multidimensional projections of functional space
US9990380B2 (en) 2013-03-15 2018-06-05 Locus Lp Proximity search and navigation for functional information systems
US9460074B2 (en) 2013-04-15 2016-10-04 Vmware, Inc. Efficient data pattern matching
US10318397B2 (en) 2013-04-15 2019-06-11 Vmware, Inc. Efficient data pattern matching
US10318572B2 (en) * 2014-02-10 2019-06-11 Microsoft Technology Licensing, Llc Structured labeling to facilitate concept evolution in machine learning
US20160063061A1 (en) * 2014-09-02 2016-03-03 Microsoft Corporation Ranking documents with topics within graph
US9798449B2 (en) * 2014-11-24 2017-10-24 Business Objects Software Ltd. Fuzzy search and highlighting of existing data visualization
US20160335909A1 (en) * 2015-05-14 2016-11-17 International Business Machines Corporation Enhancing enterprise learning outcomes
WO2017019055A1 (en) * 2015-07-29 2017-02-02 Hewlett-Packard Development Company, L.P. Content selection based on predicted performance related to test concepts
US9372684B1 (en) * 2015-09-18 2016-06-21 ReactiveCore LLC System and method for providing supplemental functionalities to a computer program via an ontology instance
US11157260B2 (en) 2015-09-18 2021-10-26 ReactiveCore LLC Efficient information storage and retrieval using subgraphs
US9864598B2 (en) 2015-09-18 2018-01-09 ReactiveCore LLC System and method for providing supplemental functionalities to a computer program
CN108292205A (en) * 2015-09-23 2018-07-17 太平洋资产评估公司 System and method for refining concept automatically according to mathematical problem and carrying out dynamic construction and test to mathematical problem according to multiple mathematical concepts
US10373525B2 (en) * 2015-09-28 2019-08-06 International Business Machines Corporation Integrated curriculum based math problem generation
US9704277B2 (en) * 2015-10-15 2017-07-11 International Business Machines Corporation Vectorized graph processing
US10360394B2 (en) * 2015-11-18 2019-07-23 American Express Travel Related Services Company, Inc. System and method for creating, tracking, and maintaining big data use cases
US10546021B2 (en) * 2017-01-30 2020-01-28 Sap Se Adjacency structures for executing graph algorithms in a relational database
US20180357381A1 (en) 2017-06-09 2018-12-13 Intelligent Medical Objects, Inc. Method and System for Generating Persistent Local Instances of Ontological Mappings
US11036797B2 (en) * 2017-10-12 2021-06-15 Adtran, Inc. Efficient storage and utilization of a hierarchical data set
US11163952B2 (en) * 2018-07-11 2021-11-02 International Business Machines Corporation Linked data seeded multi-lingual lexicon extraction
WO2020049367A1 (en) * 2018-09-05 2020-03-12 Chitti Babu K An interactive mathematical operation system and a method to operate the same
FR3092194A1 (en) * 2019-01-25 2020-07-31 Amadeus Generation of a list of data elements available from at least one service provider
JP6914982B2 (en) * 2019-03-22 2021-08-04 株式会社東芝 Support systems, programs, and storage media
JP6802873B2 (en) * 2019-03-25 2020-12-23 株式会社東芝 Support systems, programs, and storage media
US10990879B2 (en) * 2019-09-06 2021-04-27 Digital Asset Capital, Inc. Graph expansion and outcome determination for graph-defined program states

Family Cites Families (35)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4946391A (en) * 1980-05-30 1990-08-07 Texas Instruments Incorporated Electronic arithmetic learning aid with synthetic speech
AU730665B2 (en) 1996-09-25 2001-03-08 Educate Online Technology, Llc Automated testing and electronic instructional delivery and student management system
US6112049A (en) 1997-10-21 2000-08-29 The Riverside Publishing Company Computer network based testing system
US5987443A (en) * 1998-12-22 1999-11-16 Ac Properties B. V. System, method and article of manufacture for a goal based educational system
CA2305078A1 (en) * 2000-04-12 2001-10-12 Cloakware Corporation Tamper resistant software - mass data encoding
US20040115596A1 (en) * 2001-04-23 2004-06-17 Jonathan Scott Snyder System for scheduling classes and managing educational resources
US7050753B2 (en) * 2000-04-24 2006-05-23 Knutson Roger C System and method for providing learning material
US7233940B2 (en) * 2000-11-06 2007-06-19 Answers Corporation System for processing at least partially structured data
KR20020045343A (en) * 2000-12-08 2002-06-19 오길록 Method of information generation and retrieval system based on a standardized Representation format of sentences structures and meanings
GB0118294D0 (en) * 2001-07-27 2001-09-19 Ibm Method and system for deadlock detection and avoidance
US20030148253A1 (en) * 2002-01-10 2003-08-07 Sacco William J. Interactive, delayed revelation, educational method and system
US20030144832A1 (en) * 2002-01-16 2003-07-31 Harris Henry M. Machine translation system
AU2003211000A1 (en) * 2002-02-12 2003-09-04 Sandpiper Software, Inc. Ontology frame-based knowledge representation in the unified modeling language (uml)
US7512612B1 (en) * 2002-08-08 2009-03-31 Spoke Software Selecting an optimal path through a relationship graph
EP1413957A3 (en) * 2002-10-23 2010-03-03 Siemens Aktiengesellschaft Method and system for computer-based analysis of a technical system
US7039634B2 (en) * 2003-03-12 2006-05-02 Hewlett-Packard Development Company, L.P. Semantic querying a peer-to-peer network
US7242805B1 (en) * 2003-04-18 2007-07-10 Kamran Reihani System and method for automated symbolic recognition including database modeling
US7218782B1 (en) * 2003-04-18 2007-05-15 Kamran Reihani System and method for automated symbolic recognition including multi-phase symbolic reshaping
US7333997B2 (en) * 2003-08-12 2008-02-19 Viziant Corporation Knowledge discovery method with utility functions and feedback loops
US7281002B2 (en) * 2004-03-01 2007-10-09 International Business Machine Corporation Organizing related search results
US20070130112A1 (en) * 2005-06-30 2007-06-07 Intelligentek Corp. Multimedia conceptual search system and associated search method
WO2007076453A1 (en) * 2005-12-21 2007-07-05 Decernis, Llc Document validation system and method
US8332333B2 (en) * 2006-10-19 2012-12-11 Massachusetts Institute Of Technology Learning algorithm for ranking on graph data
US20090017427A1 (en) * 2007-07-12 2009-01-15 Microsoft Corporation Intelligent Math Problem Generation
JP5421262B2 (en) 2007-08-14 2014-02-19 ニュートン インコーポレイテッド Methods, media and systems for computer-based learning
US8506304B2 (en) 2008-01-23 2013-08-13 Carol Conner Method for recommending a teaching plan in literacy education
US20090325140A1 (en) * 2008-06-30 2009-12-31 Lou Gray Method and system to adapt computer-based instruction based on heuristics
US20170060856A1 (en) * 2008-12-10 2017-03-02 Chiliad Publishing Incorporated Efficient search and analysis based on a range index
US8756229B2 (en) * 2009-06-26 2014-06-17 Quantifind, Inc. System and methods for units-based numeric information retrieval
US20120284258A1 (en) * 2009-11-17 2012-11-08 University Health Network Systems, methods, and computer program products for generating relevant search results using snomed ct and semantic ontological terminology
CN102822882B (en) * 2010-01-15 2016-02-03 阿波洛集团公司 Dynamic recommendation learning content
US9710760B2 (en) * 2010-06-29 2017-07-18 International Business Machines Corporation Multi-facet classification scheme for cataloging of information artifacts
CN103210415A (en) * 2010-10-29 2013-07-17 Sk电信有限公司 Apparatus and method for diagnosing learning ability
US9406018B2 (en) * 2012-01-31 2016-08-02 Infosys Limited Systems and methods for semantic data integration
US9799041B2 (en) * 2013-03-15 2017-10-24 The Nielsen Company (Us), Llc Method and apparatus for interactive evolutionary optimization of concepts

Also Published As

Publication number Publication date
US9898531B2 (en) 2018-02-20
AU2012312055A1 (en) 2014-04-10
CA2849292A1 (en) 2013-03-28
US20180181653A1 (en) 2018-06-28
US10685054B2 (en) 2020-06-16
US8727780B2 (en) 2014-05-20
WO2013044170A1 (en) 2013-03-28
US20130212060A1 (en) 2013-08-15
AU2012312055B2 (en) 2017-02-09
US20150026188A1 (en) 2015-01-22

Similar Documents

Publication Publication Date Title
SG11201400834VA (en) System and method for mathematics ontology extraction and research
HK1213667A1 (en) Search system and corresponding method
GB201117278D0 (en) Method and system
ZA201309700B (en) Electrodesalination system and method
IL226342A (en) System and method for extracting energy
EP2689354A4 (en) Search assistant system and method
EP2661705A4 (en) Method and system for facilitating text input
EP2747693A4 (en) Tattoo removal system and method
EP2724256A4 (en) System and method for matching comment data to text data
EP2782704A4 (en) System and method for cardboard-handling
IL228447A0 (en) System and method for marketing
EP2897009A4 (en) Production-sequence-optimizing method and production-sequence-optimizing system
EP2752776A4 (en) Method and device for named-entity recognition
EP2715694A4 (en) Method and system for observation
HK1183540A1 (en) Method for searching and system thereof
EP2925891A4 (en) Apparatus and method for extracting microbial cells
HK1171094A1 (en) Method and system for outputting webpage
IL227473A0 (en) Compact microscopy system and method
GB201219800D0 (en) System and method
HK1182787A1 (en) Method and system for page monitoring
EP2674911A4 (en) Differing region detection system and differing region detection method
HUP1100486A2 (en) Monitoring system and method
EP2759971A4 (en) Commodity introduction system and commodity introduction method
SG11201500746YA (en) System and method for geothentication
HK1167962A1 (en) Method and system for low-latency networking