FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2183229793> ?p ?o ?g. }

• W2183229793 endingPage "32" @default.
• W2183229793 startingPage "22" @default.
• W2183229793 abstract "We report on the application of higher-order automated theorem proving in ontology reasoning. Concretely, we have integrated the Sigma knowledge engineering environment and the Suggested Upper-Level Ontology (SUMO) with the higher-order theorem prover LEO-II. The basis for this integration is a translation from SUMO’s SUO-KIF representations into the new typed higher-order form representation language TPTP THF. We illustrate the benefits of our integration with examples, report on experiments and analyze open challenges." @default.
• W2183229793 created "2016-06-24" @default.
• W2183229793 creator A5055110324 @default.
• W2183229793 creator A5061220191 @default.
• W2183229793 date "2010-01-01" @default.
• W2183229793 modified "2023-09-25" @default.
• W2183229793 title "Progress in Automating Higher-Order Ontology Reasoning ∗" @default.
• W2183229793 cites W126011539 @default.
• W2183229793 cites W134401634 @default.
• W2183229793 cites W1514763875 @default.
• W2183229793 cites W1531639736 @default.
• W2183229793 cites W1538494472 @default.
• W2183229793 cites W1541015300 @default.
• W2183229793 cites W1573992413 @default.
• W2183229793 cites W1576113432 @default.
• W2183229793 cites W1678285264 @default.
• W2183229793 cites W1751603136 @default.
• W2183229793 cites W182379871 @default.
• W2183229793 cites W186663390 @default.
• W2183229793 cites W193530434 @default.
• W2183229793 cites W1987549075 @default.
• W2183229793 cites W2068880842 @default.
• W2183229793 cites W2075123415 @default.
• W2183229793 cites W2084797476 @default.
• W2183229793 cites W2100313866 @default.
• W2183229793 cites W2106192381 @default.
• W2183229793 cites W2138366464 @default.
• W2183229793 cites W2952113515 @default.
• W2183229793 cites W47107507 @default.
• W2183229793 cites W2247592411 @default.
• W2183229793 hasPublicationYear "2010" @default.
• W2183229793 type Work @default.
• W2183229793 sameAs 2183229793 @default.
• W2183229793 citedByCount "5" @default.
• W2183229793 countsByYear W21832297932013 @default.
• W2183229793 countsByYear W21832297932014 @default.
• W2183229793 countsByYear W21832297932017 @default.
• W2183229793 countsByYear W21832297932019 @default.
• W2183229793 crossrefType "journal-article" @default.
• W2183229793 hasAuthorship W2183229793A5055110324 @default.
• W2183229793 hasAuthorship W2183229793A5061220191 @default.
• W2183229793 hasConcept C10138342 @default.
• W2183229793 hasConcept C108710211 @default.
• W2183229793 hasConcept C111472728 @default.
• W2183229793 hasConcept C138885662 @default.
• W2183229793 hasConcept C154945302 @default.
• W2183229793 hasConcept C159718280 @default.
• W2183229793 hasConcept C161301231 @default.
• W2183229793 hasConcept C162324750 @default.
• W2183229793 hasConcept C17744445 @default.
• W2183229793 hasConcept C182306322 @default.
• W2183229793 hasConcept C195344581 @default.
• W2183229793 hasConcept C199360897 @default.
• W2183229793 hasConcept C199539241 @default.
• W2183229793 hasConcept C204321447 @default.
• W2183229793 hasConcept C206880738 @default.
• W2183229793 hasConcept C2129575 @default.
• W2183229793 hasConcept C2524010 @default.
• W2183229793 hasConcept C25810664 @default.
• W2183229793 hasConcept C2776359362 @default.
• W2183229793 hasConcept C33923547 @default.
• W2183229793 hasConcept C41008148 @default.
• W2183229793 hasConcept C50971890 @default.
• W2183229793 hasConcept C78726541 @default.
• W2183229793 hasConcept C94625758 @default.
• W2183229793 hasConceptScore W2183229793C10138342 @default.
• W2183229793 hasConceptScore W2183229793C108710211 @default.
• W2183229793 hasConceptScore W2183229793C111472728 @default.
• W2183229793 hasConceptScore W2183229793C138885662 @default.
• W2183229793 hasConceptScore W2183229793C154945302 @default.
• W2183229793 hasConceptScore W2183229793C159718280 @default.
• W2183229793 hasConceptScore W2183229793C161301231 @default.
• W2183229793 hasConceptScore W2183229793C162324750 @default.
• W2183229793 hasConceptScore W2183229793C17744445 @default.
• W2183229793 hasConceptScore W2183229793C182306322 @default.
• W2183229793 hasConceptScore W2183229793C195344581 @default.
• W2183229793 hasConceptScore W2183229793C199360897 @default.
• W2183229793 hasConceptScore W2183229793C199539241 @default.
• W2183229793 hasConceptScore W2183229793C204321447 @default.
• W2183229793 hasConceptScore W2183229793C206880738 @default.
• W2183229793 hasConceptScore W2183229793C2129575 @default.
• W2183229793 hasConceptScore W2183229793C2524010 @default.
• W2183229793 hasConceptScore W2183229793C25810664 @default.
• W2183229793 hasConceptScore W2183229793C2776359362 @default.
• W2183229793 hasConceptScore W2183229793C33923547 @default.
• W2183229793 hasConceptScore W2183229793C41008148 @default.
• W2183229793 hasConceptScore W2183229793C50971890 @default.
• W2183229793 hasConceptScore W2183229793C78726541 @default.
• W2183229793 hasConceptScore W2183229793C94625758 @default.
• W2183229793 hasLocation W21832297931 @default.
• W2183229793 hasOpenAccess W2183229793 @default.
• W2183229793 hasPrimaryLocation W21832297931 @default.
• W2183229793 hasRelatedWork W115697288 @default.
• W2183229793 hasRelatedWork W1518293725 @default.
• W2183229793 hasRelatedWork W1589921557 @default.
• W2183229793 hasRelatedWork W1597683092 @default.
• W2183229793 hasRelatedWork W1611270087 @default.
• W2183229793 hasRelatedWork W1751603136 @default.

• next