Matches in Ruben’s data for { <https://ruben.verborgh.org/publications/depaepe_iswc_poster_2016/#publication> ?p ?o }
Showing triples 1 to 69 of
69
with 100 triples per page.
- publication author erik_mannens.
- publication author dieter_de_paepe.
- publication author me.
- publication creator erik_mannens.
- publication creator dieter_de_paepe.
- publication creator me.
- publication about proof.
- publication about rules.
- publication about reasoning.
- publication about Semantic_Web.
- publication about RDF.
- publication about World_Wide_Web.
- publication author erik_mannens.
- publication author dieter_de_paepe.
- publication author me.
- publication coparticipatesWith erik_mannens.
- publication coparticipatesWith dieter_de_paepe.
- publication coparticipatesWith me.
- publication type PublicationVolume.
- publication type ScholarlyArticle.
- publication type Article.
- publication type Document.
- publication type Document.
- publication type Document.
- publication type Q386724.
- publication type CreativeWork.
- publication type Work.
- publication P50 erik_mannens.
- publication P50 dieter_de_paepe.
- publication P50 me.
- publication maker erik_mannens.
- publication maker dieter_de_paepe.
- publication maker me.
- publication title "Rule-Based Reasoning using State Space Search".
- publication isPartOf proceedings_of_the_15th_international_semantic_web_conference_posters_and_demos.
- publication name "Rule-Based Reasoning using State Space Search".
- publication label "Rule-Based Reasoning using State Space Search".
- publication name "Rule-Based Reasoning using State Space Search".
- publication topic proof.
- publication topic rules.
- publication topic reasoning.
- publication topic Semantic_Web.
- publication topic RDF.
- publication topic World_Wide_Web.
- publication subject proof.
- publication subject rules.
- publication subject reasoning.
- publication subject Semantic_Web.
- publication subject RDF.
- publication subject World_Wide_Web.
- publication authorList b0_b2445.
- publication topic proof.
- publication topic rules.
- publication topic reasoning.
- publication topic Semantic_Web.
- publication topic RDF.
- publication topic World_Wide_Web.
- publication abstract "Semantic Web reasoners are powerful tools that allow the extraction of implicit information from RDF data. This information is reachable through the definition of ontologies and/or rules provided to the reasoner. To achieve this, various algorithms are used by different reasoners. In this paper, we explain how state space search can be applied to perform backward-chaining rule-based reasoning. State space search is an approach used in the Artificial Intelligence domain that solves problems by modeling them as a graph and searching (using diverse algorithms) for solutions within this graph. State space search offers inherent proof generation and the ability to plug in different search algorithms to determine the characteristics of the reasoner such as: speed, memory or ensuring shortest proof generation.".
- publication datePublished "2016".
- publication mainEntityOfPage depaepe_iswc_poster_2016.
- publication sameAs publication.
- publication isPrimaryTopicOf depaepe_iswc_poster_2016.
- publication page depaepe_iswc_poster_2016.
- publication number "1690".
- publication volume "1690".
- publication locator "1690".
- publication volume "1690".
- publication position "1690".
- publication volumeNumber "1690".