Matches in Ruben’s data for { ?s ?p ?o }
- publication coparticipatesWith dieter_de_paepe.
- publication coparticipatesWith me.
- publication type PublicationVolume.
- publication type ScholarlyArticle.
- publication type Article.
- publication type Document.
- publication type Q386724.
- publication type CreativeWork.
- publication type Document.
- publication type Work.
- publication type Document.
- 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_b2611.
- 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".
- publication author me.
- publication author rik_van_de_walle.
- publication author peter_mechant.
- publication author mathias_van_compernolle.
- publication author laurens_de_vocht.
- publication author jonas_breuer.
- publication author erik_mannens.
- publication author me.
- publication creator me.
- publication creator rik_van_de_walle.
- publication creator peter_mechant.
- publication creator mathias_van_compernolle.
- publication creator laurens_de_vocht.
- publication creator jonas_breuer.
- publication creator erik_mannens.
- publication creator me.
- publication about Metadata.
- publication about Linked_Data.
- publication about Semantic_Web.
- publication about World_Wide_Web.
- publication author me.
- publication author rik_van_de_walle.
- publication author peter_mechant.
- publication author mathias_van_compernolle.
- publication author laurens_de_vocht.
- publication author jonas_breuer.
- publication author erik_mannens.
- publication author me.
- publication coparticipatesWith me.
- publication coparticipatesWith rik_van_de_walle.
- publication coparticipatesWith peter_mechant.
- publication coparticipatesWith mathias_van_compernolle.
- publication coparticipatesWith laurens_de_vocht.
- publication coparticipatesWith jonas_breuer.
- publication coparticipatesWith erik_mannens.
- publication coparticipatesWith me.
- publication type PublicationVolume.
- publication type ScholarlyArticle.
- publication type Article.
- publication type Document.
- publication type Q386724.
- publication type CreativeWork.
- publication type Document.
- publication type Work.
- publication type Document.
- publication P50 me.
- publication P50 rik_van_de_walle.