Exemplo n.º 1
0
        private static void Main()
        {
            // Initializing required database engine modules:
            // - Basic operations
            // - N3-Interpreter
            // - Brain
            Initializer.Initialize();
            Logics.N3.Initializer.Initialize();
            Logics.Think.Initializer.Initialize();

            using (var model = ModelManager.CreateInMemoryModel(Names.DatabaseName).AutoDispose().Think(Names.Brain))
            {
                using (var reader = new StreamReader("Ontology/testData.n3"))
                {
                    model.AddStatements(reader.Parse());
                }

                SwapListAppend(model);
                SwapListLast(model);
                SwapListMember(model);
                SwapLogConjunction(model);
                SwapLogContent(model);
                SwapLogIncludes(model);
                SwapLogNotIncludes(model);
                SwapLogEqualTo(model);
                SwapLogNotEqualTo(model);
                SwapLogSupports(model);
                SwapLogSemantics(model);
                SwapLogUri(model);
                SwapMathDifference(model);
                SwapMathEqualTo(model);
                SwapMathGreaterThan(model);
                SwapMathIntegerQuotient(model);
                SwapMathLessThan(model);
                SwapMathNegation(model);
                SwapMathNotEqualTo(model);
                SwapMathNotGreaterThan(model);
                SwapMathNotLessThan(model);
                SwapMathProduct(model);
                SwapMathQuotient(model);
                SwapMathRemainder(model);
                SwapMathSum(model);
                SwapStringConcatenation(model);
                SwapStringFormat(model);
                SwapStringGreaterThan(model);
                SwapStringLessThan(model);
                SwapStringMatches(model);
                SwapStringNotGreater(model);
                SwapStringNotLessThan(model);
                SwapStringNotMatches(model);
                SwapTimeInSeconds(model);
            }
        }
Exemplo n.º 2
0
        private static void Main()
        {
            // Initializing required database engine modules:
            // - Basic operations
            // - N3-Interpreter
            // - Brain
            Initializer.Initialize();
            Logics.N3.Initializer.Initialize();
            Logics.Think.Initializer.Initialize();

            // Simple inference example
            using (var model = ModelManager.CreateInMemoryModel(Names.DatabaseName).AutoDispose().Think(Names.Brain))
            {
                model.AddStatements(@"
                    @prefix : <http://www.example.com/logics/example#>.

                    :Paul :mother :Rita.
                    :Rita :mother :Caroline.

                    {
                        ?x :mother ?y.
                        ?y :mother ?z.
                    }
                    =>
                    {
                        ?x :grandmother ?z
                    }.

                ".ParseString());

                var grandmother = model.GetFact(Names.Paul, Names.Grandmother);
                Console.WriteLine("Paul's grandmother is: {0}", Helpers.Beautify(grandmother));
            }

            // Recursion example
            using (var model = ModelManager.CreateInMemoryModel(Names.DatabaseName).AutoDispose().Think(Names.Brain))
            {
                model.AddStatements(@"
                @prefix : <http://www.example.com/logics/example#>.

                :Paul a :Person;
                    :child :Rita;
                    :child :Caroline.

                :Rita a :Person.

                :Caroline a :Person;
                    :child :Dirk.

                :Dirk a :Person.

                :Greta a :Person;
                    :child :Jos.

                :Jos a :Person.

                # First rule: end of recursion
                {
                    ?x a :Person.
                    ?x :child ?y.
                }
                =>
                {
                    ?x :descendants ?y.
                }.

                # Second rule: recursion body
                {
                    ?x a :Person.
                    ?x :child ?z.
                    ?z :descendants ?y.
                }
                =>
                {
                    ?x :descendants ?y.
                }.
                ".ParseString());

                var descendants = model.GetFacts(Names.Paul, Names.Example.CreateName("descendants")).ToArray();
                Console.WriteLine("Paul's descendants: {0}", string.Join(", ", descendants.Select(Helpers.Beautify)));
            }
        }